[gnu.utils.bug] Texinfo Documentation for Bash and Readline

towfiq@interlan.Interlan.COM (Mark Towfigh) (02/09/90)

I have had problems with the texinfo documents supplied with Bash
1.04.  One problem is that for readline.texinfo, it can't find a
@setfilename command in inc-readline.texinfo.  And the new texinfo.tex
file, which is supposed to contain extra new definitions, does not
seem to be picked up, no matter what I do, so that bash.texinfo fails
at the first unrecognized directive.

Any ideas?
Mark
--
Mark Towfigh, Racal Interlan, Inc.                 towfiq@interlan.Interlan.COM
W: (508) 263-9929 H: (617) 488-2818                       uunet!interlan!towfiq

  "The Earth is but One Country, and Mankind its Citizens" -- Baha'u'llah