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/texk/configure | |
parent | d99cbbf7e8cc585a93ea5db4531c0da771c1f0ee (diff) |
misc cleanup
git-svn-id: svn://tug.org/texlive/trunk@18715 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/configure')
-rwxr-xr-x | Build/source/texk/configure | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Build/source/texk/configure b/Build/source/texk/configure index 53f973bc350..f2d3f76b5a7 100755 --- a/Build/source/texk/configure +++ b/Build/source/texk/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 @@ -1576,7 +1576,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 @@ -3471,9 +3471,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. |