summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/man/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/man/Makefile.am')
-rw-r--r--Build/source/texk/web2c/man/Makefile.am8
1 files changed, 2 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/man/Makefile.am b/Build/source/texk/web2c/man/Makefile.am
index df3e78671e7..129f41b6c55 100644
--- a/Build/source/texk/web2c/man/Makefile.am
+++ b/Build/source/texk/web2c/man/Makefile.am
@@ -56,14 +56,10 @@ if OTANGLE
man_sources +=
endif OTANGLE
-if OMEGA
-man_sources += omega.man
-endif OMEGA
-EXTRA_DIST += omega.man
-
if ALEPH
-man_sources +=
+man_sources += aleph.man
endif ALEPH
+EXTRA_DIST += aleph.man
man_sources += $(misc_man_sources)
EXTRA_DIST += $(misc_man_sources)