diff options
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 269b614ed23..7d234903c79 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -3925,7 +3925,7 @@ sub doscripts { } else { # Windows. If a shell script, usually skip, except for Java # programs. Else copy the wrapper. - if ($s !~ /arara|bib2gls|convertgls2bib|texosquery/) { + if ($s !~ /arara|bib2gls|convertgls2bib|texosquery|tlcockpit/) { next if $s =~ /\.sh$/ && $s !~ /-sys\.sh$/; } # |