diff options
Diffstat (limited to 'Master/tlpkg/bin/check-files-by-format')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index f9d58d4f95e..d076ea80250 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -140,11 +140,12 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', # the value has no meaning here my $exclude_tfm = { '*base*' => 'texmf-dist/fonts/tfm', + 'jknappen/ec/' => 1, + 'jknappen/fc/' => 1, 'public/arev/' => 1, + 'public/chess/' => 1, # original has extra bytes, not worth fixing 'public/cmcyr/' => 1, 'public/dozenal/' => 1, - 'jknappen/ec/' => 1, - 'jknappen/fc/' => 1, 'public/gfsbodoni/' => 1, 'public/malayalam/' => 1, 'public/wnri/' => 1, |