diff options
-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 e6e14ac4353..1fde768d7f0 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -99,6 +99,7 @@ sub check_w32 next if $target =~ /bibexport/; # shell script next if $target =~ /context/; # does it its own way next if $target =~ /dviout/; # gui stub + next if $target =~ /installfont-tl/;# shell script next if $target =~ /listings-ext/; # shell script next if $target =~ /man/; # no symlink next if $target =~ /pdfjam/; # shell scripts |