summaryrefslogtreecommitdiff
path: root/Build/source/libs
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/libs
parentd99cbbf7e8cc585a93ea5db4531c0da771c1f0ee (diff)
misc cleanup
git-svn-id: svn://tug.org/texlive/trunk@18715 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs')
-rwxr-xr-xBuild/source/libs/configure10
1 files changed, 5 insertions, 5 deletions
diff --git a/Build/source/libs/configure b/Build/source/libs/configure
index 33a5e9486eb..daac35cde60 100755
--- a/Build/source/libs/configure
+++ b/Build/source/libs/configure
@@ -677,7 +677,7 @@ with_xindy_recode
enable_xindy_old
enable_xpdfopen
enable_web2c
-with_tex_banner
+with_banner_add
with_editor
enable_auto_core
enable_dump_share
@@ -1555,7 +1555,7 @@ Optional Packages:
[default: no]
--with-xindy-recode For `xindy': use `recode' instead of `iconv'
(default is NO)
- --with-tex-banner=STR version string appended to banner lines [Web2C YEAR]
+ --with-banner-add=STR add STR to version string appended to banner lines
--with-editor=CMD invoke CMD from the `e' option [vi +%d %s]
--without-mf-x-toolkit do not use X toolkit for METAFONT
--with-gs=/PATH/TO/gs Hard-wire the location of GhostScript
@@ -3450,9 +3450,9 @@ test "x$enable_web2c" = xno || {
## texk/web2c/ac/web2c.ac: configure.ac fragment for the TeX Live subdirectory texk/web2c/
## configure options for TeX and MF
-# Check whether --with-tex-banner was given.
-if test "${with_tex_banner+set}" = set; then :
- withval=$with_tex_banner;
+# Check whether --with-banner-add was given.
+if test "${with_banner_add+set}" = set; then :
+ withval=$with_banner_add;
fi
# Check whether --with-editor was given.