diff options
Diffstat (limited to 'Build/source/texk/web2c/man/Makefile.am')
-rw-r--r-- | Build/source/texk/web2c/man/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/man/Makefile.am b/Build/source/texk/web2c/man/Makefile.am index 4c51c664487..4af456725c0 100644 --- a/Build/source/texk/web2c/man/Makefile.am +++ b/Build/source/texk/web2c/man/Makefile.am @@ -19,7 +19,8 @@ endif WEB EXTRA_DIST += $(web_man_sources) 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 + pltotf.man pooltype.man tftopl.man twill.man \ + vftovp.man vptovf.man weave.man if TEX man_sources += tex.man |