summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-07-11 21:18:13 +0000
committerKarl Berry <karl@freefriends.org>2019-07-11 21:18:13 +0000
commitd9fdc45f38b6a264acb0f5ecbfc1a68e900cb0dd (patch)
treebc45fe62a79d344332af3c779fdf9555b9c633d2 /Master/tlpkg
parent98f89874f52c2e28da43ff4b4583d1900dcbed31 (diff)
tlcockpit (11jul19)
git-svn-id: svn://tug.org/texlive/trunk@51620 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds9
1 files changed, 8 insertions, 1 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index 7d234903c79..a8fa9231386 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -1515,6 +1515,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`);
'thumbpdf' => '&POST_preserve_man',
'tikz-cd' => '&POSTtikz_cd',
'tipa-de' => '&POST_rmsymlink',
+ 'tlcockpit' => '&POST_do_man',
'tudscr' => '&POSTtudscr',
'uplatex' => '&POST_preserve_man',
'velthuis' => '&POSTvelthuis',
@@ -3180,6 +3181,7 @@ $standardttf = '\.ttf|\.TTC';
'texdoc' => '\.1$',
'texfot' => '\.1$',
'texdirflatten' => 'texdirflatten.1',
+ 'tlcockpit' => '\.man$',
'webquiz' => '\.1$',
'wheretotrim' => '\.1$',
);
@@ -3956,10 +3958,15 @@ sub doscripts {
next; # no wrapper
}
+ # next bit of ugliness: can be better to use the GUI wrapper
+ # wrunscript.exe (which only exists in Master/bin/win32) instead
+ # of the usual runscript.exe
+ my $w32_wrapper = "$Master/bin/win32/"
+ . ($s eq "tlcockpit.sh" ? "wrunscript.exe" : "runscript.exe");
+ #
# xx here too, should merge with bin_links in
# Build/source/texk/texlive/linked_scripts/Makefile.am,
# or at least with above duplicated code.
- 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