diff options
Diffstat (limited to 'Build/source/texk/tetex/Makefile.in')
-rw-r--r-- | Build/source/texk/tetex/Makefile.in | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Build/source/texk/tetex/Makefile.in b/Build/source/texk/tetex/Makefile.in index 438d7f15553..fa1496cebfb 100644 --- a/Build/source/texk/tetex/Makefile.in +++ b/Build/source/texk/tetex/Makefile.in @@ -212,16 +212,10 @@ dist_man1_MANS = \ allec.man \ allneeded.man \ context/ctxtools.man \ - context/makempy.man \ context/mptopdf.man \ - context/pdftools.man \ context/pstopdf.man \ context/texexec.man \ - context/texfind.man \ - context/texfont.man \ context/texmfstart.man \ - context/textools.man \ - context/texutil.man \ dvi2fax.man \ dvired.man \ e2pall.man \ |