diff options
Diffstat (limited to 'Master/tlpkg/libexec')
| -rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 4f6eb9649d3..1b4c7e36618 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -4040,7 +4040,7 @@ sub rename_with_mkdir { } (my $parent = $to) =~ s,/[^/]*$,,; &xmkdir ($parent); - &SYSTEM ("$MV $from $to"); + &xsystem ("$MV $from $to"); } # run a shell command. @@ -7518,12 +7518,12 @@ sub POSTzhmetrics { # doc/source/tex files. Handle those directories in themselves. # sub POST_onelevel { - print "POST$package - handle doc/source/tex directories\n"; + print "POST_onelevel ($package) - handle doc/source/tex directories\n"; for my $dir ("source", "tex") { next unless -d $dir; # theoretically we should use $whichformat, $sourceformat, # but in practice they are always the same. - &rename_with_mkdir ($d, "$DEST/$dir/$whichdocformat/$package"); + &rename_with_mkdir ($dir, "$DEST/$dir/$whichdocformat/$package"); } # move files in doc/ up to cwd. If there are clashes, will error out. &xsystem ("$MV doc/* ."); |