summaryrefslogtreecommitdiff
path: root/Build/source/utils
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2009-06-01 16:23:36 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2009-06-01 16:23:36 +0000
commit0ae54f85adbb6ff900fe820410b9552a9c8efd9b (patch)
tree33965ca3bf3017f21a079858e33070281b907041 /Build/source/utils
parentb9798f7c80243bac8584d2d9c02fcee65ef8ae05 (diff)
implement the configure option --with-tex-banner
git-svn-id: svn://tug.org/texlive/trunk@13561 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils')
-rwxr-xr-xBuild/source/utils/configure7
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/utils/configure b/Build/source/utils/configure
index 5aed784beec..ac6d004c655 100755
--- a/Build/source/utils/configure
+++ b/Build/source/utils/configure
@@ -697,6 +697,7 @@ enable_xindy_rules
enable_xindy_docs
with_xindy_recode
enable_web2c
+with_tex_banner
with_editor
enable_auto_core
enable_dump_share
@@ -1546,6 +1547,7 @@ Optional Packages:
--without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=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-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
@@ -2397,6 +2399,11 @@ 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;
+fi
+
# Check whether --with-editor was given.
if test "${with_editor+set}" = set; then
withval=$with_editor;