diff options
Diffstat (limited to 'Build/source/doc/texlive.info')
| -rw-r--r-- | Build/source/doc/texlive.info | 2 |
1 files changed, 1 insertions, 1 deletions
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 |