diff options
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
| -rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 7bb103f23e4..9f456d64611 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -4929,7 +4929,9 @@ sub POSTcontext { # remove mptopdf files, since they are in a separate package. chomp (my @mptopdf_files = `tlpfiles mptopdf | sed 's,[^/]*/,,'`); - &SYSTEM ("$RM -f @mptopdf_files"); + &SYSTEM ("$RM -f @mptopdf_files "); + &SYSTEM ("$RM doc/context/scripts/mkii/mptopdf.man"); + &SYSTEM ("$RM scripts/context/stubs/mswin/mptopdf.exe"); print "still POST$package - user-level executables\n"; # similar to biber, executables go in both the Master bin dir and the |