summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-xBuild/source/configure20
1 files changed, 20 insertions, 0 deletions
diff --git a/Build/source/configure b/Build/source/configure
index a5c4bec2434..13f555e1e1f 100755
--- a/Build/source/configure
+++ b/Build/source/configure
@@ -800,6 +800,7 @@ enable_xindy
enable_xindy_rules
enable_xindy_docs
with_clisp_runtime
+enable_xml2pmx
enable_xpdfopen
enable_web2c
with_banner_add
@@ -1607,6 +1608,7 @@ Optional Features:
--enable-xindy build the xindy package
--enable-xindy-rules build and install make-rules package
--enable-xindy-docs build and install documentation
+ --disable-xml2pmx do not build the xml2pmx package
--disable-xpdfopen do not build the xpdfopen package
--disable-web2c do not build the web2c (TeX & Co.) package
--enable-auto-core cause TeX&MF to dump core, given a certain
@@ -4455,6 +4457,24 @@ $as_echo "$as_me: Assuming \`--with-clisp-runtime=$with_clisp_runtime'" >&6;}
fi ;;
esac
+## utils/xml2pmx/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory utils/xml2pmx/
+## configure options and TL libraries required for xml2pmx
+# Check whether --enable-xml2pmx was given.
+if test "${enable_xml2pmx+set}" = set; then :
+ enableval=$enable_xml2pmx;
+fi
+case $enable_xml2pmx in #(
+ yes|no) :
+ ;; #(
+ *) :
+
+ enable_xml2pmx=$enable_all_pkgs
+ { $as_echo "$as_me:${as_lineno-$LINENO}: Assuming \`--enable-xml2pmx=$enable_xml2pmx'" >&5
+$as_echo "$as_me: Assuming \`--enable-xml2pmx=$enable_xml2pmx'" >&6;}
+ ac_configure_args="$ac_configure_args '--enable-xml2pmx=$enable_xml2pmx'"
+ ;;
+esac
+
## utils/xpdfopen/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory utils/xpdfopen/
## configure options and TL libraries required for xpdfopen
# Check whether --enable-xpdfopen was given.