diff options
| -rwxr-xr-x | Master/bin/win32/texdoctk.exe | bin | 1536 -> 5120 bytes | |||
| -rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/Master/bin/win32/texdoctk.exe b/Master/bin/win32/texdoctk.exe Binary files differindex 5777d90a17a..e7b45f1c446 100755 --- a/Master/bin/win32/texdoctk.exe +++ b/Master/bin/win32/texdoctk.exe 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 |