diff options
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
| -rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 25518f5db05..2c823081c86 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -2631,11 +2631,15 @@ sub doscripts { if ($p ne "win32") { my $linktarget = "../../$DEST_TREE/scripts/$package/$s"; &SYSTEM ("ln -s $linktarget $platdir/$linkname"); + &SYSTEM ("ln -s $linkname $platdir/r$linkname") + if $linkname eq "pdfcrop"; # rpdfcrop -> pdfcrop } else { # Windows. If a shell script, skip. Else copy the wrapper. next if $s =~ /\.sh$/; my $w32_wrapper = "$Build/$build_tldir/w32_wrapper/runscript.exe"; &SYSTEM ("$CP $w32_wrapper $platdir/$linkname.exe"); + &SYSTEM ("$CP $w32_wrapper $platdir/r$linkname.exe") + if $linkname eq "pdfcrop"; # rpdfcrop.exe } } } |