diff options
author | Karl Berry <karl@freefriends.org> | 2012-12-24 01:15:26 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-12-24 01:15:26 +0000 |
commit | e74d1b9fb9680ba2ae15239115afa09bd58c4e98 (patch) | |
tree | 8300a02e9c0c35d50b56c1a2f27cdf064d7b895e /Build/source/utils/configure | |
parent | 6103270b48a477881ddeb99e28a1d34e60045b5d (diff) |
configure and build texdoctk
git-svn-id: svn://tug.org/texlive/trunk@28629 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/configure')
-rwxr-xr-x | Build/source/utils/configure | 12 |
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" |