From 24b88ae80144e7824a48513a961299edef95229d Mon Sep 17 00:00:00 2001 From: John Gilmore Date: Thu, 4 Feb 1993 06:00:41 +0000 Subject: [PATCH] Makeinfo now works again; remove kludge. --- gdb/ChangeLog | 2 -- gdb/Makefile.in | 2 +- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 901cb1f9110..c05e925d43c 100644 --- 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 4d0c0188aa5..1ec2b41843a 100644 --- 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 -- 2.30.2