diff options
Diffstat (limited to 'Master/tlpkg/bin/tlpkg-ctan-check')
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 92ee8fa5b29..19eff60d52a 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -467,6 +467,7 @@ my @TLP_no_check = ( "detex", # binary "devnag", # binary "dnp", # part of cjk + "dtl", # binary "dvi2tty", # binary "dvicopy", # binary "dvidvi", # binary |