diff options
Diffstat (limited to 'Build/source/texk/web2c/man/Makefile.am')
-rw-r--r-- | Build/source/texk/web2c/man/Makefile.am | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/man/Makefile.am b/Build/source/texk/web2c/man/Makefile.am index 928a7913c3c..5fc7899b760 100644 --- a/Build/source/texk/web2c/man/Makefile.am +++ b/Build/source/texk/web2c/man/Makefile.am @@ -15,11 +15,6 @@ web_man_sources = bibtex.man dvicopy.man dvitomp.man dvitype.man gftodvi.man \ gftopk.man gftype.man mft.man patgen.man pktogf.man pktype.man \ pltotf.man pooltype.man tftopl.man vftovp.man vptovf.man weave.man -## Obsolete mpware manpages -## man_sources += $(mpware_man_sources) -EXTRA_DIST += $(mpware_man_sources) -mpware_man_sources = dmp.man makempx.man mpto.man newer.man - if TEX man_sources += tex.man endif TEX |