Makeinfo now works again; remove kludge.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 901cb1f..c05e925 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -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)
 

diff --git a/gdb/Makefile.in b/gdb/Makefile.in
index 4d0c018..1ec2b41 100644 (file)
--- a/gdb/Makefile.in
+++ b/gdb/Makefile.in
@@ -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