diff options
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-x | Build/source/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/configure b/Build/source/configure index 8e7da5e155d..38502dfedd9 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -1662,7 +1662,7 @@ Optional Features: --disable-etex-synctex build e-TeX without SyncTeX support --enable-ptex compile and install pTeX --disable-ptex-synctex build pTeX without SyncTeX support - --disable-eptex do not compile and install e-pTeX + --enable-eptex compile and install e-pTeX --disable-eptex-synctex build e-pTeX without SyncTeX support --enable-uptex compile and install upTeX --disable-uptex-synctex build upTeX without SyncTeX support @@ -5504,7 +5504,7 @@ case $enable_eptex in #( yes | no) : ;; #( *) : - enable_eptex=yes ;; + enable_eptex=no ;; esac # Check whether --enable-eptex-synctex was given. |