diff options
author | Karl Berry <karl@freefriends.org> | 2019-09-24 16:02:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-09-24 16:02:28 +0000 |
commit | a47e69be054e8aec500e52ffb1e0f76ba7f14791 (patch) | |
tree | a3c7b9283f574d48ab123255a162db359f893924 /Build/source/doc/build-tools.txt | |
parent | 8be312e4ee76dc97473f11d39b2c83cda8242d8f (diff) |
doc,sync
git-svn-id: svn://tug.org/texlive/trunk@52167 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 16bd6fa192d..3fde6a5901f 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.16.1 -bison (GNU Bison) 3.3.1 +bison (GNU Bison) 3.4.2 flex 2.6.0 ltmain.sh (GNU libtool) 2.4.6 m4 (GNU M4) 1.4.18 -makeinfo (GNU texinfo) 6.6 +makeinfo (GNU texinfo) 6.7 |