diff options
| author | Karl Berry <karl@freefriends.org> | 2017-08-10 22:18:48 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-08-10 22:18:48 +0000 |
| commit | d8ec5ea64ef077926bbda689864266ec8ff21793 (patch) | |
| tree | c306b9b497d83aeb423b1857f4f0a55d7bf5fbaf /Master/tlpkg/libexec | |
| parent | 75203398cd63828ec3ddd066e69ac01ac3c03262 (diff) | |
latexdef link needed (dbitouze mail 10 Aug 2017 19:18:56)
git-svn-id: svn://tug.org/texlive/trunk@45011 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/libexec')
| -rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 6e0ea82a7b9..53da86c804d 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -3648,8 +3648,13 @@ sub doscripts { &SYSTEM ("ln -s $linktarget $platdir/$linkname"); # # Scripts with special cases. + # xx should merge with bin_links in + # Build/source/texk/texlive/linked_scripts/Makefile.am, sigh. &SYSTEM ("ln -s $linkname $platdir/r$linkname") - if $linkname =~ /pdfcrop|epstopdf/; # rpdfcrop ->pdfcrop, ... + if $linkname =~ /^(pdfcrop|epstopdf)$/; # rpdfcrop ->pdfcrop, ... + + &SYSTEM ("ln -s $linkname $platdir/latexdef") + if $linkname eq "texdef"; # latexdef->texdef } else { # Windows. If a shell script, usually skip. Else copy the wrapper. @@ -3683,10 +3688,14 @@ sub doscripts { next; # no wrapper } + # xx here too should merge with bin_links in + # Build/source/texk/texlive/linked_scripts/Makefile.am, sigh. 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 =~ /pdfcrop|epstopdf/; # r{pdfcrop,epstopdf}.exe + if $linkname =~ /^(pdfcrop|epstopdf)/; # r{pdfcrop,epstopdf}.exe + &SYSTEM ("$CP $w32_wrapper $platdir/latexdef.exe") + if $linkname eq "texdef"; # latexdef->texdef } } } |