summaryrefslogtreecommitdiff
path: root/Build/source/texk/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2013-12-19 11:06:18 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2013-12-19 11:06:18 +0000
commitf4a44885a367794f0ed41c0dd446df7b40a174d8 (patch)
treeff5f6f65c92699d23eea5a9c8578847ece736556 /Build/source/texk/configure
parentdac42fa45e686717a350e950f3a68ad1cc5eec83 (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/texk/configure')
-rwxr-xr-xBuild/source/texk/configure9
1 files changed, 9 insertions, 0 deletions
diff --git a/Build/source/texk/configure b/Build/source/texk/configure
index c1cd36b632b..ec827376f01 100755
--- a/Build/source/texk/configure
+++ b/Build/source/texk/configure
@@ -803,6 +803,7 @@ enable_ttfdump
enable_xdvik
with_xdvi_x_toolkit
enable_texlive
+enable_linked_scripts
with_system_harfbuzz
with_system_icu
with_system_teckit
@@ -1617,6 +1618,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
@@ -4775,6 +4777,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