diff options
Diffstat (limited to 'Build/source/doc/build-tools')
-rw-r--r-- | Build/source/doc/build-tools | 19 |
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 |