diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-01 16:23:36 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-06-01 16:23:36 +0000 |
| commit | 0ae54f85adbb6ff900fe820410b9552a9c8efd9b (patch) | |
| tree | 33965ca3bf3017f21a079858e33070281b907041 /Build/source/utils | |
| parent | b9798f7c80243bac8584d2d9c02fcee65ef8ae05 (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-x | Build/source/utils/configure | 7 |
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; |