diff options
| -rw-r--r-- | gdb/ChangeLog | 6 | ||||
| -rw-r--r-- | gdb/Makefile.in | 4 |
2 files changed, 8 insertions, 2 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 7099d94..901cb1f 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,9 @@ +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) * breakpoint.c (breakpoint_re_set_one): Handle watchpoints when diff --git a/gdb/Makefile.in b/gdb/Makefile.in index e20f9d2..4d0c018 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -163,7 +163,7 @@ CDEPS = ${XM_CDEPS} ${TM_CDEPS} ${NAT_CDEPS} \ ADD_FILES = ${REGEX} ${ALLOCA} ${XM_ADD_FILES} ${TM_ADD_FILES} ${NAT_ADD_FILES} ADD_DEPS = ${REGEX1} ${ALLOCA1} ${XM_ADD_FILES} ${TM_ADD_FILES} ${NAT_ADD_FILES} -VERSION = 4.7.4 +VERSION = 4.7.5 DIST=gdb LINT=/usr/5bin/lint @@ -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 |