Makeinfo now works again; remove kludge.
authorJohn Gilmore <gnu@cygnus>
Thu, 4 Feb 1993 06:00:41 +0000 (06:00 +0000)
committerJohn Gilmore <gnu@cygnus>
Thu, 4 Feb 1993 06:00:41 +0000 (06:00 +0000)
commit24b88ae80144e7824a48513a961299edef95229d
treeee0c127398f2962527deb390eb0bb0b28e6c4f6d
parent264c57901003d82d58963722766f086c85e06c74
Makeinfo now works again; remove kludge.
gdb/ChangeLog
gdb/Makefile.in