diff options
| -rw-r--r-- | Build/source/doc/build-tools.txt | 2 | ||||
| -rw-r--r-- | Build/source/doc/tlbuild.info | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/doc/build-tools.txt b/Build/source/doc/build-tools.txt index c457421fb17..16bd6fa192d 100644 --- a/Build/source/doc/build-tools.txt +++ b/Build/source/doc/build-tools.txt @@ -4,4 +4,4 @@ bison (GNU Bison) 3.3.1 flex 2.6.0 ltmain.sh (GNU libtool) 2.4.6 m4 (GNU M4) 1.4.18 -makeinfo (GNU texinfo) 6.5 +makeinfo (GNU texinfo) 6.6 diff --git a/Build/source/doc/tlbuild.info b/Build/source/doc/tlbuild.info index 504a0fecd37..9ce25d8b336 100644 --- a/Build/source/doc/tlbuild.info +++ b/Build/source/doc/tlbuild.info @@ -1,4 +1,4 @@ -This is tlbuild.info, produced by makeinfo version 6.5 from +This is tlbuild.info, produced by makeinfo version 6.6 from tlbuild.texi. This file documents the TeX Live build system and more. @@ -749,7 +749,7 @@ many extra hassles, so don't do that, tempting as it may be. flex 2.6.0 ltmain.sh (GNU libtool) 2.4.6 m4 (GNU M4) 1.4.18 - makeinfo (GNU texinfo) 6.5 + makeinfo (GNU texinfo) 6.6 These versions should be used to update the generated files (e.g., 'configure' or 'Makefile.in') in all or parts of the TL tree after their |