summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/check-wrapper-consistency
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-09-10 10:31:34 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-09-10 10:31:34 +0000
commit9257f7b2b26dc4c8bfc17718f6ecb521839171c5 (patch)
tree44075a9fcfa7a198d3a054fdc348956348224dc0 /Master/tlpkg/bin/check-wrapper-consistency
parent6a7eb99f33fd41098a686b54b1f9fcc2529cbb8c (diff)
don't chek texdoc, it uses a modifed wrapper
git-svn-id: svn://tug.org/texlive/trunk@10536 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/check-wrapper-consistency')
-rwxr-xr-xMaster/tlpkg/bin/check-wrapper-consistency1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency
index d89bea6065a..82f152e06c9 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 =~ /ps4pdf/; # has its own .bat
next if $target =~ /simpdftex/; # shell script
next if $target =~ /tex4ht/; # tex4ht has its own .bat's
+ next if $target =~ /texdoc/; # using a modified wrapper
#print "$k -> $uw{$k}\n";
$diff += system ("cmp $w32dir/$k.bat $w32canonical");
}