diff options
author | Piotr Strzelczyk <piotr@eps.gda.pl> | 2010-06-12 22:42:18 +0000 |
---|---|---|
committer | Piotr Strzelczyk <piotr@eps.gda.pl> | 2010-06-12 22:42:18 +0000 |
commit | 7dd376f55c107ca5d7da18de3f4b73f263a40212 (patch) | |
tree | 5a3a788b47466e3b33099534302395ff0d01ee73 /Master/tlpkg/bin/check-wrapper-consistency | |
parent | 4f9f2503e281470d823928540d5f54604925b1d1 (diff) |
gui stub for texdoctk
git-svn-id: svn://tug.org/texlive/trunk@18918 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/check-wrapper-consistency')
-rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 1 |
1 files changed, 1 insertions, 0 deletions
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 |