[gnu.gdb.bug] readline.texinfo and history.texinfo problems

djm@ABYSS.ENG.UMD.EDU (David J. MacKenzie) (02/12/90)

makeinfo spits out a bunch of errors when processing readline.texinfo and
history.texinfo.