diff options
Diffstat (limited to 'rename_infofile2.diff')
| -rw-r--r-- | rename_infofile2.diff | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/rename_infofile2.diff b/rename_infofile2.diff new file mode 100644 index 000000000000..0971b908ce99 --- /dev/null +++ b/rename_infofile2.diff @@ -0,0 +1,13 @@ +diff --git a/doc/ref/Makefile.am b/doc/ref/Makefile.am +index 2f4b8ca88..939e1966c 100644 +--- a/doc/ref/Makefile.am ++++ b/doc/ref/Makefile.am +@@ -128,7 +128,7 @@ autoconf-macros.texi: $(top_srcdir)/meta/guile.m4 + # 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 ++effective-version.texi: + echo "@set EFFECTIVE-VERSION $(GUILE_EFFECTIVE_VERSION)" > $@ + + MAINTAINERCLEANFILES = autoconf-macros.texi |