diff options
Diffstat (limited to 'Build/source/doc/build-tools')
-rw-r--r-- | Build/source/doc/build-tools | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Build/source/doc/build-tools b/Build/source/doc/build-tools deleted file mode 100644 index 3836358152e..00000000000 --- a/Build/source/doc/build-tools +++ /dev/null @@ -1,15 +0,0 @@ -In general, the @TL{} build system uses the latest released versions of the -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 (GNU Autoconf) 2.69 -automake (GNU automake) 1.14.1 -ltmain.sh (GNU libtool) 2.4.2 -bison (GNU Bison) 3.0.2 -flex 2.5.39 -m4 (GNU M4) 1.4.17 -makeinfo (GNU texinfo) 5.2 -@end example |