diff options
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 6d378103621..292e618978e 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -5626,10 +5626,13 @@ sub POSTasapsym { } sub POSTautosp { - print "POST$package - preserve man pages, remove binaries, up a level\n"; - &preserve_man_pages ($package); + print "POST$package - remove binaries, up a level, man pages\n"; &SYSTEM ("$RM -r source MacOSX Windows*"); &SYSTEM ("$MV doc/* .; rmdir doc"); + &SYSTEM ("$RM autosp.pdf tex2aspc.pdf"); + &SYSTEM ("$MV rebar.1 rebar.x1"); # kludge so POST_do_man doesn't see it + &POST_do_man (); + &SYSTEM ("$MV rebar.x1 rebar.1"); } sub POSTbib2gls { @@ -6632,7 +6635,8 @@ sub POST_do_man { &xmkdir ($mandest); chomp (my $origdir = `pwd`); &xchdir ($DEST); - &SYSTEM ("$MV $src_mandir/*.1 $mandest") unless $src_mandir eq $mandest; + &SYSTEM ("$MV $src_mandir/*.1 $mandest || echo '*** no *.1 in $src_mandir'") + unless $src_mandir eq $mandest; &tl_man_to_pdf (); &xchdir ($origdir); |