diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/bin/win32/tlcockpit.exe | bin | 0 -> 1536 bytes | |||
| -rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/win32/tlcockpit.exe b/Master/bin/win32/tlcockpit.exe Binary files differnew file mode 100755 index 00000000000..5777d90a17a --- /dev/null +++ b/Master/bin/win32/tlcockpit.exe 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$/; } # |