diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-06-04 08:50:20 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-06-04 08:50:20 +0000 |
| commit | 2300ccb10e93ce75ca3e3dcf2b26bd4600761a47 (patch) | |
| tree | 37a33bbefeac5a45bf01648b1e27c91c000902c9 /Build/source/README.config | |
| parent | d99cbbf7e8cc585a93ea5db4531c0da771c1f0ee (diff) | |
misc cleanup
git-svn-id: svn://tug.org/texlive/trunk@18715 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/README.config')
| -rw-r--r-- | Build/source/README.config | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/Build/source/README.config b/Build/source/README.config index 555becc1f23..4de2c19b838 100644 --- a/Build/source/README.config +++ b/Build/source/README.config @@ -111,14 +111,11 @@ its requirement for clisp et al.). 2.3. Configure options for texk/web2c/ -------------------------------------- -2.3.1. --with-tex-banner=STR -Specify the version string STR appended to banner lines, replacing the -default `Web2C YYYY'; the string STR must contain the current Web2C -version, that is, the YYYY (currently 2010/dev). - -The Build script for a native TL build currently specifies -`--with-tex-banner="TeX Live 2010/dev"', whereas a distro build should alter -this to, e.g., `--with-tex-banner="TeX Live 2010/dev/Debian"'. +2.3.1. --with-banner-add=STR +Add STR to the default version string ('TeX Live YEAR' or 'Web2C YEAR') +appended to banner lines. The Build script for a native TL build doesn't +use this option, but distro builds should specify this as, e.g., +'/SomeDistro'. 2.3.1. --with-editor=CMD Specify the command CMD to invoke from the `e' option, replacing the default |