diff options
author | Karl Berry <karl@freefriends.org> | 2018-05-11 22:01:19 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-05-11 22:01:19 +0000 |
commit | e698ff58e2c4dcafb8deb631619a2dc91913cd28 (patch) | |
tree | f34115a727f26928f29ade4fd0f3d0a75f0f2196 /Master/tlpkg/libexec/ctan2tds | |
parent | be1b7760343e4919fbf0435303f2c53de8c18993 (diff) |
platex (11may18)
git-svn-id: svn://tug.org/texlive/trunk@47683 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 162f1d93b66..be2dc81ef32 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -1395,6 +1395,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`); 'pgfornament' => '&POSTpgfornament', 'pgfplots' => '&POSTpgfplots', 'pict2e' => '&POSTpict2e', + 'platex' => '&POSTplatex', 'pmx' => '&POSTpmx', 'pmxchords' => '&POST_do_man', 'prerex' => '&POSTprerex', @@ -6293,6 +6294,11 @@ sub POSTpict2e { &SYSTEM ("$MV $texdir/pict2e-example.cfg $texdir/pict2e.cfg"); } +sub POSTplatex { + print "POST$package - preserve man pages\n"; + &preserve_man_pages ($package); +} + sub POSTpmx { print "POST$package - preserve binaries\n"; &POST_preserve_bin ("scor2prt", "pmxab"); |