From 17dce95009e0951763cbeba8e5a3342980aa18ec Mon Sep 17 00:00:00 2001 From: Neil Jerram Date: Tue, 20 Feb 2007 21:16:45 +0000 Subject: [PATCH] (EXTRA_DIST): Add lib-version.texi to the distribution. --- doc/ref/ChangeLog | 5 +++++ doc/ref/Makefile.am | 10 ++++++++-- 2 files changed, 13 insertions(+), 2 deletions(-) diff --git a/doc/ref/ChangeLog b/doc/ref/ChangeLog index c09bc96d0..85020e993 100644 --- a/doc/ref/ChangeLog +++ b/doc/ref/ChangeLog @@ -1,3 +1,8 @@ +2007-02-20 Neil Jerram + + * Makefile.am (EXTRA_DIST): Add lib-version.texi to the + distribution. + 2007-01-31 Ludovic Courtès * api-data.texi (Conversion): Made cross refs point to `Number diff --git a/doc/ref/Makefile.am b/doc/ref/Makefile.am index 7d009ff52..6ab2171af 100644 --- a/doc/ref/Makefile.am +++ b/doc/ref/Makefile.am @@ -23,7 +23,6 @@ AUTOMAKE_OPTIONS = gnu BUILT_SOURCES = lib-version.texi - info_TEXINFOS = guile.texi guile_TEXINFOS = preface.texi \ @@ -94,5 +93,12 @@ lib-version.texi: $(top_srcdir)/GUILE-VERSION sed 's/^LIBGUILE_\([A-Z0-9_]*\)_MAJOR=\([0-9]\+\)/@set LIBGUILE_\1_MAJOR \2/' \ > "$@" - 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. +EXTRA_DIST = lib-version.texi