diff options
Diffstat (limited to 'Master/tlpkg/bin/check-wrapper-consistency')
-rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency index aaa23ac0892..e8351037532 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -143,5 +143,10 @@ sub list_shell_scripts { $sh{$script} = 1; # save without extension (everything else) } + # more shell scripts, that are not part of linked_scripts. + $sh{"chkweb"} = 1; + $sh{"getafm"} = 1; + $sh{"showchar"} = 1; + return %sh; } |