diff options
Diffstat (limited to 'Build/source/configure')
| -rwxr-xr-x | Build/source/configure | 20 |
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. |