summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-xBuild/source/configure7
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;