diff options
Diffstat (limited to 'Build/source/libs/configure')
-rwxr-xr-x | Build/source/libs/configure | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Build/source/libs/configure b/Build/source/libs/configure index b85aa8f1c73..7d62df2843d 100755 --- a/Build/source/libs/configure +++ b/Build/source/libs/configure @@ -667,7 +667,6 @@ enable_ipc enable_omfonts enable_tex enable_etex -enable_ptex enable_aleph enable_pdftex enable_luatex @@ -1436,7 +1435,6 @@ Optional Features: versions) --disable-tex do not compile and install TeX --enable-etex compile and install e-TeX - --disable-ptex do not compile and install pTeX --disable-aleph do not compile and install Aleph --disable-pdftex do not compile and install pdfTeX --disable-luatex do not compile and install luaTeX @@ -2567,20 +2565,6 @@ case $enable_etex in #( *) : enable_etex=no ;; esac -# Check whether --enable-ptex was given. -if test "${enable_ptex+set}" = set; then : - enableval=$enable_ptex; -fi -case $enable_ptex in #( - yes|no) : - ;; #( - *) : - enable_ptex=yes ;; -esac - -test "x$enable_web2c:$enable_ptex" = xyes:yes && { - need_ptexenc=yes -} # Check whether --enable-aleph was given. if test "${enable_aleph+set}" = set; then : enableval=$enable_aleph; |