summaryrefslogtreecommitdiff
path: root/Build/source/doc/build-tools.txt
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-02-10 23:28:32 +0000
committerKarl Berry <karl@freefriends.org>2018-02-10 23:28:32 +0000
commit6e760293ed5b28dda13d89aed6668de70aeab94b (patch)
tree1346e126ffdbc0dd1ac7298f6abddb8f48df659b /Build/source/doc/build-tools.txt
parent1815321fcb78cc64b4e2cff1ef05c50f6a9de4c3 (diff)
more doc on adding a program
git-svn-id: svn://tug.org/texlive/trunk@46589 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 ef31ecee77d..b87f7b85f23 100644
--- a/Build/source/doc/build-tools.txt
+++ b/Build/source/doc/build-tools.txt
@@ -4,4 +4,4 @@ bison (GNU Bison) 3.0.4
flex 2.6.0
ltmain.sh (GNU libtool) 2.4.6
m4 (GNU M4) 1.4.18
-makeinfo (GNU texinfo) 6.4
+makeinfo (GNU texinfo) 6.5