diff options
| author | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-06-11 22:16:47 +0000 |
|---|---|---|
| committer | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-06-11 22:16:47 +0000 |
| commit | af08a43ac4d68eef44869b915012fb19c2e9cbd1 (patch) | |
| tree | 2bba111b24328541766b44d7c0d3fa0498528871 /gdb/doc/Makefile.in | |
| parent | 574dac8e6dd38071a0a617cee59dd2e9e10873a1 (diff) | |
| download | gdb-af08a43ac4d68eef44869b915012fb19c2e9cbd1.zip gdb-af08a43ac4d68eef44869b915012fb19c2e9cbd1.tar.gz gdb-af08a43ac4d68eef44869b915012fb19c2e9cbd1.tar.bz2 | |
* Makefile.in (GDBvn.texi): Update atomically.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
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, |