diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-03-18 22:28:23 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-03-18 22:30:13 +0100 |
| commit | a9ea4f909b9970c755b0a7c4cd9da907e66496fc (patch) | |
| tree | 2406821d64d87d87161d72dc88ef34b0d90c0c82 /configure.ac | |
| parent | e5029c585382471f81717f8e1539854d90579512 (diff) | |
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.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index af6afcc77..42de73307 100644 --- a/configure.ac +++ b/configure.ac @@ -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]) |