summaryrefslogtreecommitdiff
path: root/Build/source/doc
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2014-03-28 12:31:56 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2014-03-28 12:31:56 +0000
commit137b56a5c65d26eec13dede7b8f398611aaa008d (patch)
tree7ff549e19f9fb5010d5aff8d4d37f50c377643b1 /Build/source/doc
parent203d0153798d0cc9813c1672e75c0e0395a1c3b9 (diff)
flex 2.5.39
git-svn-id: svn://tug.org/texlive/trunk@33311 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc')
-rw-r--r--Build/source/doc/build-tools2
-rw-r--r--Build/source/doc/texlive.info2
2 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/doc/build-tools b/Build/source/doc/build-tools
index f9bb30a7d03..4d078014df9 100644
--- a/Build/source/doc/build-tools
+++ b/Build/source/doc/build-tools
@@ -9,7 +9,7 @@ autoconf (GNU Autoconf) 2.69
automake (GNU automake) 1.14.1
ltmain.sh (GNU libtool) 2.4.2
bison (GNU Bison) 3.0
-flex 2.5.37
+flex 2.5.39
m4 (GNU M4) 1.4.17
makeinfo (GNU texinfo) 5.2
@end example
diff --git a/Build/source/doc/texlive.info b/Build/source/doc/texlive.info
index acece2879ab..df97238daa2 100644
--- a/Build/source/doc/texlive.info
+++ b/Build/source/doc/texlive.info
@@ -357,7 +357,7 @@ and having 'PATH' start with '/usr/local/gnu/bin'). Currently these are
automake (GNU automake) 1.14.1
ltmain.sh (GNU libtool) 2.4.2
bison (GNU Bison) 3.0
- flex 2.5.37
+ flex 2.5.39
m4 (GNU M4) 1.4.17
makeinfo (GNU texinfo) 5.2