summaryrefslogtreecommitdiff
path: root/Build/source/libs
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/libs')
-rwxr-xr-xBuild/source/libs/configure7
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/libs/configure b/Build/source/libs/configure
index 95aac015872..14963c76bd3 100755
--- a/Build/source/libs/configure
+++ b/Build/source/libs/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
@@ -1549,6 +1550,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
@@ -2400,6 +2402,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;