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 c6df343c573..150b8b21d31 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -124,6 +124,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/oinuit/' => 1, 'public/omega/' => 1, 'public/phaistos/' => 1, + 'public/playfair/' => 1, # 15mar14 known hinting issues 'public/pl/' => 1, 'public/pxfonts/' => 1, 'public/rsfs/' => 1, |