mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-06-10 22:10:21 +02:00
Avoid rebuild of `guile.info' at the user's site.
* configure.ac: Remove `doc/ref/effective-version.texi' from the `AC_CONFIG_FILES'. * doc/ref/Makefile.am ($(srcdir)/effective-version.texi): New target.
This commit is contained in:
parent
e5029c5853
commit
a9ea4f909b
2 changed files with 7 additions and 1 deletions
|
@ -1635,7 +1635,6 @@ AC_CONFIG_FILES([
|
|||
|
||||
AC_CONFIG_FILES([meta/guile-2.0.pc])
|
||||
AC_CONFIG_FILES([meta/guile-2.0-uninstalled.pc])
|
||||
AC_CONFIG_FILES([doc/ref/effective-version.texi])
|
||||
|
||||
GUILE_CONFIG_SCRIPT([check-guile])
|
||||
GUILE_CONFIG_SCRIPT([benchmark-guile])
|
||||
|
|
|
@ -123,6 +123,13 @@ autoconf-macros.texi: $(top_srcdir)/meta/guile.m4
|
|||
snarf-guile-m4-docs $(top_srcdir)/meta/guile.m4 \
|
||||
> $(srcdir)/$@
|
||||
|
||||
# Build that file from here rather than at the user's site to avoid
|
||||
# triggering a rebuild of `guile.info'. Note that `GUILE-VERSION' is
|
||||
# among $(CONFIG_STATUS_DEPENDENCIES); thus, when it's updated, this
|
||||
# Makefile is rebuilt, and $(GUILE_EFFECTIVE_VERSION) is up-to-date.
|
||||
$(srcdir)/effective-version.texi: $(top_srcdir)/GUILE-VERSION
|
||||
echo "@set EFFECTIVE-VERSION $(GUILE_EFFECTIVE_VERSION)" > $@
|
||||
|
||||
MAINTAINERCLEANFILES = autoconf-macros.texi
|
||||
|
||||
www-commit: html
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue