diff options
| author | Karl Berry <karl@freefriends.org> | 2009-01-25 01:57:18 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-01-25 01:57:18 +0000 |
| commit | af944c3e4ba74f59f21178c8477fdea4b682ef2b (patch) | |
| tree | afa6af46a5179bdbd38a05fa7d63b2ff8ae32516 /Build/source/configure.in | |
| parent | 0cea5be7570fb0ddc3d28e6bb8371809e04ca2ae (diff) | |
remove texinfo
git-svn-id: svn://tug.org/texlive/trunk@11963 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/configure.in')
| -rw-r--r-- | Build/source/configure.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/configure.in b/Build/source/configure.in index f1d9b408d69..35e69aaf613 100644 --- a/Build/source/configure.in +++ b/Build/source/configure.in @@ -148,7 +148,7 @@ test "$with_xdvipdfmx" != no && : ${needs_pnglib=yes} : ${needs_pnglib=no} export needs_pnglib -# we need zlib for dvipng, texinfo, pdf[ex]tex, xetex, dvipdfm, dvipdfmx, xdvipdfmx +# we need zlib for dvipng, pdf[ex]tex, xetex, dvipdfm, etc. test ! -d $srcdir/$ZLIBDIR && : ${needs_zlib=no} test "$with_dvipng" != no && : ${needs_zlib=yes} test "$with_pdftex" != no && : ${needs_zlib=yes} @@ -157,7 +157,6 @@ test "$with_xetex" != no && : ${needs_zlib=yes} test "$with_dvipdfm" != no && : ${needs_zlib=yes} test "$with_dvipdfmx" != no && : ${needs_zlib=yes} test "$with_xdvipdfmx" != no && : ${needs_zlib=yes} -test "$with_texinfo" != no && : ${needs_zlib=yes} : ${needs_zlib=no} export needs_zlib |