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

[deliverable/binutils-gdb.git] / gdb / doc / Makefile.in

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,