diff options
| -rw-r--r-- | gdb/doc/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/doc/Makefile.in | 6 |
2 files changed, 9 insertions, 1 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 780d479..6f214a7 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,7 @@ +Fri Jun 11 15:15:55 1993 Jim Kingdon (kingdon@cygnus.com) + + * Makefile.in (GDBvn.texi): Update atomically. + Wed Jun 9 10:58:16 1993 Jim Kingdon (kingdon@cygnus.com) * gdbinv-s.texi (Debug Session): Document exceptionHook. diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index fe84fdf..acf29d5 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -154,7 +154,11 @@ lrefcard.ps : $(srcdir)/refcard.tex $(srcdir)/lpsrc.sed # File to record current GDB version number (copied from main dir Makefile.in) GDBvn.texi : ${gdbdir}/Makefile.in - echo "@set GDBVN `sed <$(srcdir)/../Makefile.in -n 's/VERSION = //p'`" > ./GDBvn.texi + echo "@set GDBVN `sed <$(srcdir)/../Makefile.in -n 's/VERSION = //p'`" > ./GDBvn.new + mv GDBvn.new GDBvn.texi + +# Updated atomically +.PRECIOUS: GDBvn.texi # Choose configuration for GDB manual (normally `all'; normally not tied into # `configure' script because most users prefer generic version of manual, |