Makeinfo now works again; remove kludge.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 901cb1f911064787a9cf80df9b4e44bc5470d648..c05e925d43c5185d170846a024ac3c6318850b87 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 4d0c0188aa5751b15752ae5057ca27001389a864..1ec2b41843a7c7fb7025d085801b69aa418dec3d 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