diff options
Diffstat (limited to 'Build/source/utils/configure')
-rwxr-xr-x | Build/source/utils/configure | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Build/source/utils/configure b/Build/source/utils/configure index 6a54444354c..b75ffc0c8cf 100755 --- a/Build/source/utils/configure +++ b/Build/source/utils/configure @@ -715,7 +715,6 @@ with_editor enable_auto_core enable_dump_share enable_ipc -enable_omfonts enable_tex enable_tex_synctex enable_etex @@ -1512,8 +1511,6 @@ Optional Features: --disable-dump-share make fmt/base/mem files architecture-dependent --disable-ipc disable TeX's --ipc option, i.e., pipe to a program - --disable-omfonts do not compile and install omfonts (use Web2C - versions) --disable-tex do not compile and install TeX --enable-tex-synctex build TeX with SyncTeX support --enable-etex compile and install e-TeX @@ -3648,10 +3645,6 @@ fi if test "${enable_ipc+set}" = set; then : enableval=$enable_ipc; fi -# Check whether --enable-omfonts was given. -if test "${enable_omfonts+set}" = set; then : - enableval=$enable_omfonts; -fi # Check whether --enable-tex was given. if test "${enable_tex+set}" = set; then : enableval=$enable_tex; |