diff options
Diffstat (limited to 'Build/source/texk/web2c/man/Makefile.am')
-rw-r--r-- | Build/source/texk/web2c/man/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/man/Makefile.am b/Build/source/texk/web2c/man/Makefile.am index 446332551aa..97f80eba479 100644 --- a/Build/source/texk/web2c/man/Makefile.am +++ b/Build/source/texk/web2c/man/Makefile.am @@ -55,8 +55,10 @@ EXTRA_DIST += $(pdftex_man_sources) if PTEX man_sources += ptex.man man1_links += ptex:eptex ptex:euptex ptex:uptex +man_sources += ppltotf.man ptftopl.man +man1_links += ppltotf:uppltotf ptftopl:uptftopl endif PTEX -EXTRA_DIST += ptex.man +EXTRA_DIST += ptex.man ppltotf.man ptftopl.man if LUATEX man_sources += luatex.man |