summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/bin/win32/texdoctk.exebin1536 -> 5120 bytes
-rwxr-xr-xMaster/tlpkg/bin/check-wrapper-consistency1
2 files changed, 1 insertions, 0 deletions
diff --git a/Master/bin/win32/texdoctk.exe b/Master/bin/win32/texdoctk.exe
index 5777d90a17a..e7b45f1c446 100755
--- a/Master/bin/win32/texdoctk.exe
+++ b/Master/bin/win32/texdoctk.exe
Binary files differ
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency
index 82154eb4880..bd463cbe459 100755
--- a/Master/tlpkg/bin/check-wrapper-consistency
+++ b/Master/tlpkg/bin/check-wrapper-consistency
@@ -105,6 +105,7 @@ sub check_w32
next if $target =~ /psv/; # gui stub
next if $target =~ /simpdftex/; # shell script
next if $target =~ /texmfstart/; # has its own binary
+ next if $target =~ /texdoc/; # gui stub
next if $target =~ /texworks/; # gui stub
next if $target =~ /tlmgr/; # does things its own way
next if $target =~ /xasy/; # no need