diff options
author | Karl Berry <karl@freefriends.org> | 2009-06-20 18:05:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-06-20 18:05:18 +0000 |
commit | 918ce26636e564581c1b57aa86da29730c0b86d5 (patch) | |
tree | 04db4941e7229f63d69eaaf831a69a54b0f44760 /Build/source/Build | |
parent | 05754612d093a4b5f87755c103ef063089b99a83 (diff) |
minor docs, error msgs
git-svn-id: svn://tug.org/texlive/trunk@13840 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-x | Build/source/Build | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/Build b/Build/source/Build index 4d1a53b1fd7..5c458f2b547 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -80,7 +80,8 @@ cd $TL_WORKDIR || exit 1 # allow override of xdvi toolkit, default to standard xaw. : ${TL_CONF_XDVI_TOOLKIT=--with-xdvi-x-toolkit=xaw} -# allow adding arbitrary other configure args. +# allow adding arbitrary other configure args, such as +# --with-tex-banner='TeX Live 2009/SomeDistro'. : ${TL_CONFIGURE_ARGS=} # allow override of make target. |