summaryrefslogtreecommitdiff
path: root/Build/source/doc/build-tools.txt
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2014-04-09 11:01:31 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2014-04-09 11:01:31 +0000
commit6003424afae7ca5e6e03b50bff841127c8d85646 (patch)
tree69f3c4982a824de1b2fb3e738122ebfb74135f66 /Build/source/doc/build-tools.txt
parentbcbfda1c27e652211feb270611494ab1d1a2f6f6 (diff)
More general texlive.texi update for Texinfo
git-svn-id: svn://tug.org/texlive/trunk@33419 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc/build-tools.txt')
-rw-r--r--Build/source/doc/build-tools.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/doc/build-tools.txt b/Build/source/doc/build-tools.txt
index e8a4742f527..27133180758 100644
--- a/Build/source/doc/build-tools.txt
+++ b/Build/source/doc/build-tools.txt
@@ -1,6 +1,6 @@
autoconf (GNU Autoconf) 2.69
automake (GNU automake) 1.14.1
-bison (GNU Bison) 3.0
+bison (GNU Bison) 3.0.2
flex 2.5.39
ltmain.sh (GNU libtool) 2.4.2
m4 (GNU M4) 1.4.17