Makeinfo now works again; remove kludge.

This commit is contained in:
John Gilmore 1993-02-04 06:00:41 +00:00
parent 264c579010
commit 24b88ae801
2 changed files with 1 additions and 3 deletions

View File

@ -1,8 +1,6 @@
Wed Feb 3 14:48:08 1993 John Gilmore (gnu@cygnus.com)
* Makefile.in (VERSION): Roll to 4.7.5.
(gdb.info): Ignore error from makeinfo (FIXME), since makeinfo
isn't quite up to date to handle gdb.texi.
Tue Feb 2 20:47:42 1993 John Gilmore (gnu@cygnus.com)

View File

@ -664,7 +664,7 @@ gdb.dvi:
# GDB MANUAL: info file
gdb.info:
-( cd ./doc; $(MAKE) gdb.info $(FLAGS_TO_PASS) )
( cd ./doc; $(MAKE) gdb.info $(FLAGS_TO_PASS) )
mv ./doc/gdb.info* .
# Make copying.c from COPYING