diff options
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency index e8351037532..fabf0ac928b 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -95,7 +95,7 @@ sub check_w32 { next if $is_shell_script{$k}; # skip shell scripts # # also skip these special cases: - next if $k =~ /^(tlmgr|xasy|texdoctk)$/; + next if $k =~ /^(latexindent|texdoctk|tlmgr|xasy)$/; # # else do the diff with the canonical wrapper: $diff += system ("cmp $w32dir/$k.exe $w32canonical"); |