diff options
author | Karl Berry <karl@freefriends.org> | 2014-04-08 18:39:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-04-08 18:39:18 +0000 |
commit | c7bc49d06e3d005eb2541be8c4e59e8e0b4ac08a (patch) | |
tree | d3510868da06e9074a8a0fc7f93805d828759227 /Build/source/doc/build-tools.txt | |
parent | b50a5847011e3cc3058d2a43b5204ba04e289802 (diff) |
general texlive.texi update for Texinfo, etc.
git-svn-id: svn://tug.org/texlive/trunk@33406 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc/build-tools.txt')
-rw-r--r-- | Build/source/doc/build-tools.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/doc/build-tools.txt b/Build/source/doc/build-tools.txt new file mode 100644 index 00000000000..e8a4742f527 --- /dev/null +++ b/Build/source/doc/build-tools.txt @@ -0,0 +1,7 @@ +autoconf (GNU Autoconf) 2.69 +automake (GNU automake) 1.14.1 +bison (GNU Bison) 3.0 +flex 2.5.39 +ltmain.sh (GNU libtool) 2.4.2 +m4 (GNU M4) 1.4.17 +makeinfo (GNU texinfo) 5.2 |