diff options
Diffstat (limited to 'Build/source/texk/web2c/man/Makefile.am')
-rw-r--r-- | Build/source/texk/web2c/man/Makefile.am | 8 |
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) |