diff options
author | Hironobu Yamashita <h.y.acetaminophen@gmail.com> | 2019-03-30 10:13:17 +0000 |
---|---|---|
committer | Hironobu Yamashita <h.y.acetaminophen@gmail.com> | 2019-03-30 10:13:17 +0000 |
commit | db9a88518ba16fd878e3ba2b89e10827a7ee8ed5 (patch) | |
tree | aadad4c7c4db1c65df00726073b99a78340ce2db /Build/source/texk/web2c/man/Makefile.am | |
parent | 74019c9f933b452f61f696b2e80bcd7af549aae7 (diff) |
add (u)ppltotf and (u)ptftopl man pages
git-svn-id: svn://tug.org/texlive/trunk@50656 c570f23f-e606-0410-a88d-b1316a301751
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 |