diff options
Diffstat (limited to 'Master/tlpkg/bin/check-files-by-format')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 20f78344126..c4b4f34f382 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -93,7 +93,8 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/cs/' => 1, 'public/doublestroke/' => 1, 'public/epiolmec/' => 1, - 'public/esstix/' => 1, # 12may11 author fixed some, others will remain + 'public/ebgaramond/' => 1, # 9jul14 bug in fontforge/t1lint, not reported + 'public/esstix/' => 1, # 12may11 author fixed some, others will remain 'public/ethiop-t1/' => 1, 'public/eurosym/' => 1, 'public/fbb/' => 1, # 23aug13 bluevalues, not fixable |