diff options
Diffstat (limited to 'Build/source/texk/configure')
| -rwxr-xr-x | Build/source/texk/configure | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/Build/source/texk/configure b/Build/source/texk/configure index 967a9543067..e71605f3ade 100755 --- a/Build/source/texk/configure +++ b/Build/source/texk/configure @@ -1551,8 +1551,8 @@ Optional Features: --disable-upmp do not compile and install upMetaPost --disable-xetex do not compile and install XeTeX --disable-xetex-synctex build XeTeX without SyncTeX support - --disable-mf do not build METAFONT - --disable-mf-nowin do not build a separate non-windows-capable + --disable-mf do not compile and install METAFONT + --disable-mf-nowin do not build a separate non-window-capable METAFONT --enable-epsfwin include EPSF pseudo window support --enable-hp2627win include HP 2627 window support @@ -3936,6 +3936,13 @@ test "x$enable_web2c:$enable_xetex" = xyes:yes && { if test "${enable_mf+set}" = set; then : enableval=$enable_mf; fi +case $enable_mf in #( + yes | no) : + ;; #( + *) : + enable_mf=yes ;; +esac + # Check whether --enable-mf-nowin was given. if test "${enable_mf_nowin+set}" = set; then : enableval=$enable_mf_nowin; |