diff options
| author | Neil Jerram <neil@ossau.uklinux.net> | 2009-02-09 21:51:31 +0000 |
|---|---|---|
| committer | Neil Jerram <neil@ossau.uklinux.net> | 2009-02-09 21:51:31 +0000 |
| commit | 4c9e29ec38350a5206aa3e8e72ad4376512ada2b (patch) | |
| tree | 0f3289230eabb08406232c7457d046ff390950e3 | |
| parent | ad5f5ada1d50ecdab634d60ffe3a13b9193156aa (diff) | |
| download | guile-4c9e29ec38350a5206aa3e8e72ad4376512ada2b.tar.gz | |
Clean lib-version.texi
* doc/ref/Makefile.am (CLEANFILES): Add lib-version.texi.
| -rw-r--r-- | doc/ref/Makefile.am | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/doc/ref/Makefile.am b/doc/ref/Makefile.am index 19458cfee..2ca550ab3 100644 --- a/doc/ref/Makefile.am +++ b/doc/ref/Makefile.am @@ -98,9 +98,12 @@ lib-version.texi: $(top_srcdir)/GUILE-VERSION MAINTAINERCLEANFILES = autoconf-macros.texi # To allow "make distcheck" to succeed, lib-version.texi must either -# be cleaned or be included in the distribution. There's no point -# forcing a distribution build to regenerate lib-version.texi, because -# it can't possibly be different on the build machine than where the -# distribution was generated, so we might as well include it in the -# distribution. +# be cleaned or be included in the distribution. Or both - and in +# fact both are good. There's no point forcing a distribution build +# to regenerate lib-version.texi, because it can't possibly be +# different on the build machine than where the distribution was +# generated, so we might as well include it in the distribution. EXTRA_DIST += lib-version.texi +# But when we want to get back to a clean tree, lib-version.texi +# should be cleaned. +CLEANFILES = lib-version.texi |