summaryrefslogtreecommitdiff
path: root/Build/source/doc/build-tools
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/doc/build-tools')
-rw-r--r--Build/source/doc/build-tools19
1 files changed, 10 insertions, 9 deletions
diff --git a/Build/source/doc/build-tools b/Build/source/doc/build-tools
index f4caec84a31..56be97bdceb 100644
--- a/Build/source/doc/build-tools
+++ b/Build/source/doc/build-tools
@@ -1,14 +1,15 @@
In general, the @TL{} build system uses the latest released versions of the
-@acronym{GNU} build tools, installed directly from the original
-@acronym{GNU} releases (e.g., by building them with @* @ @ @ @code{configure
---prefix=/usr/local/gnu} @* and having @env{PATH} start with
-@file{/usr/local/gnu/bin}). Currently these are
+GNU build tools, installed directly from the original GNU releases (e.g., by
+building them with @* @ @ @ @code{configure --prefix=/usr/local/gnu} @* and
+having @env{PATH} start with @file{/usr/local/gnu/bin}). Currently these
+are
@example
-autoconf (@acronym{GNU} Autoconf) 2.69
-automake (@acronym{GNU} automake) 1.14
-ltmain.sh (@acronym{GNU} libtool) 2.4.2
-bison (@acronym{GNU} Bison) 3.0
+autoconf (GNU Autoconf) 2.69
+automake (GNU automake) 1.14
+ltmain.sh (GNU libtool) 2.4.2
+bison (GNU Bison) 3.0
flex 2.5.37
-m4 (@acronym{GNU} M4) 1.4.17
+m4 (GNU M4) 1.4.17
+makeinfo (GNU texinfo) 5.2
@end example