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)
gdb/ChangeLog
gdb/Makefile.in

index 901cb1f911064787a9cf80df9b4e44bc5470d648..c05e925d43c5185d170846a024ac3c6318850b87 100644 (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)
 
index 4d0c0188aa5751b15752ae5057ca27001389a864..1ec2b41843a7c7fb7025d085801b69aa418dec3d 100644 (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