diff options
author | Karl Berry <karl@freefriends.org> | 2019-02-19 22:23:14 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-02-19 22:23:14 +0000 |
commit | b6d09658cf05a62a303cf3a1bf5876c6e48a2e08 (patch) | |
tree | 3ffe898e5fe3bdd4caec8f55d0252dc513865b7d /Build/source/doc | |
parent | 4b23a27991cd774dcf713f6e80a9b1c50d36fb40 (diff) |
texinfo 6.6
git-svn-id: svn://tug.org/texlive/trunk@50064 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc')
-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 |