diff options
author | Karl Berry <karl@freefriends.org> | 2016-02-15 19:00:21 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-02-15 19:00:21 +0000 |
commit | ac696bf78edd670ee0edf00a710abb41e9c3dcb3 (patch) | |
tree | 2a5879d1cf521de7a137ac8afcb223934d74118c /Build/source/doc/build-tools.txt | |
parent | 6ace9ac1f4a8a247c6667895caa9a184653a5778 (diff) |
small doc updates
git-svn-id: svn://tug.org/texlive/trunk@39724 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc/build-tools.txt')
-rw-r--r-- | Build/source/doc/build-tools.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/doc/build-tools.txt b/Build/source/doc/build-tools.txt index 7b15903153e..4da14b3889a 100644 --- a/Build/source/doc/build-tools.txt +++ b/Build/source/doc/build-tools.txt @@ -1,7 +1,7 @@ autoconf (GNU Autoconf) 2.69 automake (GNU automake) 1.15 bison (GNU Bison) 3.0.4 -flex 2.5.39 +flex 2.6.0 ltmain.sh (GNU libtool) 2.4.6 m4 (GNU M4) 1.4.17 -makeinfo (GNU texinfo) 5.2 +makeinfo (GNU texinfo) 6.1 |