Clarify which version of texinfo.tex is used.

2 files changed, 8 insertions, 1 deletions

diff --git a/ChangeLog b/ChangeLog
index 6f93463..fe611c9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2016-12-26  Bruno Haible  <bruno@clisp.org>
+
+	Clarify which version of texinfo.tex is used.
+	* autogen.sh (TEXINFO_VERSION): New variable.
+
 2016-12-10  Bruno Haible  <bruno@clisp.org>
 
 	Make the generated <unistring/stdint.h> work for GCC >= 4.5
diff --git a/autogen.sh b/autogen.sh
index c738a86..1465383 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -43,6 +43,8 @@ while :; do
   esac
 done
 
+TEXINFO_VERSION=4.13
+
 if test $skip_gnulib = false; then
   # texinfo.tex
   # The most recent snapshot of it is available in the gnulib repository.
@@ -51,7 +53,7 @@ if test $skip_gnulib = false; then
   # but that is too old (does not support @arrow{}). So take the version which
   # matches the latest stable texinfo release.
   if test ! -f build-aux/texinfo.tex; then
-    { wget -q --timeout=5 -O build-aux/texinfo.tex.tmp 'http://cvs.savannah.gnu.org/viewvc/*checkout*/texinfo/doc/texinfo.tex?root=texinfo&pathrev=texinfo_4_13' \
+    { wget -q --timeout=5 -O build-aux/texinfo.tex.tmp 'http://cvs.savannah.gnu.org/viewvc/*checkout*/texinfo/doc/texinfo.tex?root=texinfo&pathrev=texinfo_'`echo $TEXINFO_VERSION | sed -e 's/[.]/_/g'` \
         && mv build-aux/texinfo.tex.tmp build-aux/texinfo.tex; \
     } || rm -f build-aux/texinfo.tex.tmp
   fi