diff options
Diffstat (limited to 'Build/source/configure')
| -rwxr-xr-x | Build/source/configure | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Build/source/configure b/Build/source/configure index 471864bbc4a..6cbba21569e 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -803,7 +803,6 @@ with_editor enable_auto_core enable_dump_share enable_ipc -enable_omfonts enable_tex enable_tex_synctex enable_etex @@ -1614,8 +1613,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 @@ -4406,10 +4403,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; |