summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/bin/win32/tlcockpit.exebin0 -> 1536 bytes
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds2
2 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/win32/tlcockpit.exe b/Master/bin/win32/tlcockpit.exe
new file mode 100755
index 00000000000..5777d90a17a
--- /dev/null
+++ b/Master/bin/win32/tlcockpit.exe
Binary files differ
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$/;
}
#