diff options
-rw-r--r-- | doc/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index fd6821dd0..e98fae083 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -21,6 +21,12 @@ info_TEXINFOS = data-rep.texi data_rep_TEXINFOS = data-rep.texi version.texi +# This rule overrides automake's rule for version.texi. It causes +# version.texi to be created even in non-maintainer-mode. +# +$(srcdir)/version.texi: stamp-vti + @: + EXAMPLE_SMOB_FILES = \ ChangeLog Makefile README COPYING image-type.c image-type.h myguile.c |