diff options
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 |