diff options
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index ba0031a..80f39b3 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -218,7 +218,7 @@ refcard.ps : refcard.dvi # File to record current GDB version number (copied from main dir version.in) GDBvn.texi : ${gdbdir}/version.in - echo "@set GDBVN `head -1 $(srcdir)/../version.in`" > ./GDBvn.new + echo "@set GDBVN `sed q $(srcdir)/../version.in`" > ./GDBvn.new mv GDBvn.new GDBvn.texi # Updated atomically |