diff options
-rwxr-xr-x | Build/tools/tlrebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/tools/tlrebuild b/Build/tools/tlrebuild index 4579db54fe9..f219792b29f 100755 --- a/Build/tools/tlrebuild +++ b/Build/tools/tlrebuild @@ -3,7 +3,8 @@ # Originally written 2004, Karl Berry. Public domain. # # Rebuild the TeX Live distribution -- no actual recompilation of -# sources (run bash Build.sh for that), but all the infrastructure files. +# sources (see Build/source/Build for that), but all the infrastructure +# files, up to and including making ISO images. mydir=`dirname $0` tools=`cd $mydir && pwd` |