diff options
Diffstat (limited to 'Build/source/texk/web2c/configure.in')
| -rw-r--r-- | Build/source/texk/web2c/configure.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/configure.in b/Build/source/texk/web2c/configure.in index 40ec4974d27..d13e73f9ff5 100644 --- a/Build/source/texk/web2c/configure.in +++ b/Build/source/texk/web2c/configure.in @@ -157,8 +157,7 @@ else fi # For pdfeTeX -if test -d $srcdir/pdfetexdir && test -d $srcdir/pdftexdir \ - && test -d $srcdir/etexdir; then +if test -d $srcdir/pdftexdir; then test "${with_pdfetex+set}" = set || with_pdfetex=yes else if test "x$with_pdfetex" = xyes; then |