summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
Diffstat (limited to 'Build')
-rw-r--r--Build/source/README.hacking2
-rw-r--r--Build/source/doc/build-tools2
-rw-r--r--Build/source/doc/texlive.info4
3 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/README.hacking b/Build/source/README.hacking
index ff9270ce967..2daf95c6c8d 100644
--- a/Build/source/README.hacking
+++ b/Build/source/README.hacking
@@ -22,7 +22,7 @@ bison (GNU Bison) 3.0
flex 2.5.37
-m4 (GNU M4) 1.4.16
+m4 (GNU M4) 1.4.17
2. Updating the TL build system
===============================
diff --git a/Build/source/doc/build-tools b/Build/source/doc/build-tools
index ed21e36af36..f4caec84a31 100644
--- a/Build/source/doc/build-tools
+++ b/Build/source/doc/build-tools
@@ -10,5 +10,5 @@ automake (@acronym{GNU} automake) 1.14
ltmain.sh (@acronym{GNU} libtool) 2.4.2
bison (@acronym{GNU} Bison) 3.0
flex 2.5.37
-m4 (@acronym{GNU} M4) 1.4.16
+m4 (@acronym{GNU} M4) 1.4.17
@end example
diff --git a/Build/source/doc/texlive.info b/Build/source/doc/texlive.info
index 11dd84603c8..46dea62a7c5 100644
--- a/Build/source/doc/texlive.info
+++ b/Build/source/doc/texlive.info
@@ -1,4 +1,4 @@
-This is texlive.info, produced by makeinfo version 5.1 from
+This is texlive.info, produced by makeinfo version 5.2 from
texlive.texi.
This file documents the TeX Live system, etc.
@@ -291,7 +291,7 @@ and having 'PATH' start with '/usr/local/gnu/bin'). Currently these are
ltmain.sh (GNU libtool) 2.4.2
bison (GNU Bison) 3.0
flex 2.5.37
- m4 (GNU M4) 1.4.16
+ m4 (GNU M4) 1.4.17
These versions should be used to update the generated files (e.g.,
'configure' or 'Makefile.in') in all or parts of the TeX Live tree when