summaryrefslogtreecommitdiff
path: root/Build/source/utils/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/configure')
-rwxr-xr-xBuild/source/utils/configure12
1 files changed, 12 insertions, 0 deletions
diff --git a/Build/source/utils/configure b/Build/source/utils/configure
index a57ff21885b..c3ad6cef7e0 100755
--- a/Build/source/utils/configure
+++ b/Build/source/utils/configure
@@ -851,6 +851,7 @@ pmx
ps2eps
psutils
t1utils
+texdoctk
tpic2pdftex
vlna
xindy
@@ -3328,6 +3329,7 @@ $as_echo "$as_me: Assuming \`--enable-t1utils=$enable_t1utils'" >&6;}
esac
+
## utils/tpic2pdftex/ac/withenable.ac: configure.ac fragment for the TeX Live subdirectory utils/tpic2pdftex/
## configure options and TL libraries required for tpic2pdftex
# Check whether --enable-tpic2pdftex was given.
@@ -6054,6 +6056,16 @@ if test -x $srcdir/t1utils/configure; then
fi
+if test -x $srcdir/texdoctk/configure; then
+ test "x$enable_texdoctk" = xno || SUBUTILS="$SUBUTILS texdoctk"
+ DIST_SUBUTILS="$DIST_SUBUTILS texdoctk"
+ if false; then
+ subdirs="$subdirs texdoctk"
+
+ fi
+fi
+
+
if test -x $srcdir/tpic2pdftex/configure; then
test "x$enable_tpic2pdftex" = xno || SUBUTILS="$SUBUTILS tpic2pdftex"
DIST_SUBUTILS="$DIST_SUBUTILS tpic2pdftex"