diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-12-19 11:06:18 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-12-19 11:06:18 +0000 |
| commit | f4a44885a367794f0ed41c0dd446df7b40a174d8 (patch) | |
| tree | ff5f6f65c92699d23eea5a9c8578847ece736556 /Build/source/configure | |
| parent | dac42fa45e686717a350e950f3a68ad1cc5eec83 (diff) | |
Add a configure option to skip the linked scripts and still run texlinks
git-svn-id: svn://tug.org/texlive/trunk@32449 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/configure')
| -rwxr-xr-x | Build/source/configure | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Build/source/configure b/Build/source/configure index c1498f32e68..28df798c378 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -891,6 +891,7 @@ enable_ttfdump enable_xdvik with_xdvi_x_toolkit enable_texlive +enable_linked_scripts with_system_harfbuzz with_system_icu with_system_teckit @@ -1697,6 +1698,7 @@ Optional Features: --disable-ttfdump do not build the ttfdump package --disable-xdvik do not build the xdvik package --disable-texlive do not build the texlive (TeX Live scripts) package + --disable-linked-scripts do not install the linked scripts --disable-mktexmf-default do not run mktexmf if MF source missing --disable-mktexpk-default do not run mktexpk if PK font missing --disable-mktextfm-default do not run mktextfm if TFM file missing @@ -5511,6 +5513,13 @@ $as_echo "$as_me: Assuming \`--enable-texlive=$enable_texlive'" >&6;} ;; esac +## texk/texlive/ac/texlive.ac: configure.ac fragment for the TeX Live subdirectory texk/texlive/ +## configure options for texlive +# Check whether --enable-linked-scripts was given. +if test "${enable_linked_scripts+set}" = set; then : + enableval=$enable_linked_scripts; +fi + ## libs/harfbuzz/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory libs/harfbuzz/ ## configure options and TL libraries required for harfbuzz |