diff options
author | Karl Berry <karl@freefriends.org> | 2009-06-01 18:48:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-06-01 18:48:40 +0000 |
commit | 1bdc132f5edb897391bd7ab4d11ccee00696e645 (patch) | |
tree | 67f8a2877184610fee4437195337c7dea16a9a12 /Build/source/Build | |
parent | 0a24b5c2f300af1873202c13f53053a31b867625 (diff) |
specify --with-tex-banner, doc tweaks
git-svn-id: svn://tug.org/texlive/trunk@13564 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-x | Build/source/Build | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/Build b/Build/source/Build index fa25ff8b567..53d20cc1bbe 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -68,6 +68,9 @@ cd $TL_WORKDIR || exit 1 # allow override of configure location, just in case. : ${TL_CONFIGURE=../configure} +# banner for TeX et al. +: ${TL_CONF_BANNER=--with-tex-banner="TeX Live 2009"} + # default to static linking. : ${TL_CONF_SHARED=--disable-shared} |