* Makefile.in (GDBvn.texi): Update atomically.

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 780d479aca42602c054847a6c9df93ae47624eb6..6f214a7e6a6ab524c815395434576e6309f963d7 100644 (file)
--- 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 fe84fdf8f325a6254e856df615c7b6fdb15b148c..acf29d5be84b7b3143d9bd0a6d3d5c913b7969ea 100644 (file)
--- 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,