Download the latest gnu-config files in `make dist`.
* builds/toplevel.mk: In `make dist`, checkout gnu-config
git repository at savannah, copy the latest versions of
`config.guess` and `config.sub` to builds/unix/. Also
the latest version of `gitlog-to-changelog` is used to
generate `ChangeLog`.
diff --git a/builds/toplevel.mk b/builds/toplevel.mk
index 4b7b148..0beda94 100644
--- a/builds/toplevel.mk
+++ b/builds/toplevel.mk
@@ -274,12 +274,16 @@
# GNU `config' git repository), relative to the `tmp' directory used during
# `make dist'.
#
-CONFIG_GUESS = ~/git/config/config.guess
-CONFIG_SUB = ~/git/config/config.sub
+# GNU_CONFIG_GIT_URL = git://git.savannah.gnu.org/config.git
+GNU_CONFIG_GIT_URL = https://git.savannah.gnu.org/git/config.git
+GNU_CONFIG_DESTDIR = $(TOP_DIR)/subprojects/gnu-config
+
+CONFIG_GUESS = $(GNU_CONFIG_DESTDIR)/config.guess
+CONFIG_SUB = $(GNU_CONFIG_DESTDIR)/config.sub
# We also use this repository to access the gnulib script that converts git
# commit messages to a ChangeLog file.
-CHANGELOG_SCRIPT = ~/git/config/gitlog-to-changelog
+CHANGELOG_SCRIPT = $(GNU_CONFIG_DESTDIR)/gitlog-to-changelog
# Don't say `make do-dist'. Always use `make dist' instead.
@@ -295,6 +299,8 @@
sh autogen.sh
rm -rf $(TOP_DIR)/builds/unix/autom4te.cache
+ rm -rf $(GNU_CONFIG_DESTDIR)
+ git clone https://git.savannah.gnu.org/git/config.git $(GNU_CONFIG_DESTDIR)
cp $(CONFIG_GUESS) $(TOP_DIR)/builds/unix
cp $(CONFIG_SUB) $(TOP_DIR)/builds/unix
@@ -312,5 +318,6 @@
@# Remove more stuff related to git.
rm -rf $(TOP_DIR)/subprojects/dlg
+ rm -rf $(TOP_DIR)/subprojects/gnu-config
# EOF
