diff options
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index d88a3e15240..4f567ded087 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -73,6 +73,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/cm-super/' => 1, 'texmf-dist/doc/fonts/cm-unicode/Fontmap.CMU.pfb' => 1, 'public/cm-unicode/cmunobi.pfb' => 1, + 'public/countriesofeurope/' => 1, # 22apr12 not reported 'public/cs/' => 1, 'public/doublestroke/' => 1, 'public/epiolmec/' => 1, |