diff options
-rw-r--r-- | doc/Makefile.in | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 27da56aee..8608969f1 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -158,9 +158,11 @@ $(srcdir)/version.texi: stamp-vti @: $(srcdir)/stamp-vti: fileutils.texi $(top_srcdir)/configure.in - @echo "@set UPDATED `$(SHELL) $(srcdir)/mdate-sh $(srcdir)/fileutils.texi`" > vti.tmp - @echo "@set EDITION $(VERSION)" >> vti.tmp - @echo "@set VERSION $(VERSION)" >> vti.tmp + @(set `$(SHELL) $(srcdir)/mdate-sh $(srcdir)/fileutils.texi`; \ + echo "@set UPDATED $$1 $$2 $$3"; \ + echo "@set UPDATED-MONTH $$2 $$3"; \ + echo "@set EDITION $(VERSION)"; \ + echo "@set VERSION $(VERSION)") > vti.tmp @cmp -s vti.tmp $(srcdir)/version.texi \ || (echo "Updating $(srcdir)/version.texi"; \ cp vti.tmp $(srcdir)/version.texi) |