summaryrefslogtreecommitdiff
path: root/Build/source/README.config
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2010-06-04 08:50:20 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2010-06-04 08:50:20 +0000
commit2300ccb10e93ce75ca3e3dcf2b26bd4600761a47 (patch)
tree37a33bbefeac5a45bf01648b1e27c91c000902c9 /Build/source/README.config
parentd99cbbf7e8cc585a93ea5db4531c0da771c1f0ee (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.config13
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