version.texi: stamp-vti
# Depend on configure.in so that version number updates cause a
# rebuild.
stamp-vti: @TEXI@ $(top_srcdir)/configure.in
echo "@set UPDATED `date -r $(srcdir)/@TEXI@ '+%B %Y'`" > version.tmp
echo "@set EDITION $(VERSION)" >> version.tmp
echo "@set VERSION $(VERSION)" >> version.tmp
if cmp -s version.tmp $(srcdir)/version.texi; then \
rm version.tmp; \
else \
mv version.tmp $(srcdir)/version.texi; \
fi
touch $(srcdir)/stamp-vti