diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-09-10 10:31:34 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-09-10 10:31:34 +0000 |
commit | 9257f7b2b26dc4c8bfc17718f6ecb521839171c5 (patch) | |
tree | 44075a9fcfa7a198d3a054fdc348956348224dc0 /Master/tlpkg/bin/check-wrapper-consistency | |
parent | 6a7eb99f33fd41098a686b54b1f9fcc2529cbb8c (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-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 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"); } |