diff options
| -rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index df51ba1d773..8e788b3027b 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -2,9 +2,11 @@ # $Id$ # Copyright Manuel P\'egouri\'e-Gonnard, 2010-2016. WTFPL v2. # -# Check that files in various formats are in good shape. +# Check that files in various formats are somewhat valid. # -# The following formats are checked currently: pdf, pfb, tfm, vf, otf. +# The following formats are checked currently: pdf, tfm, vf, otf. +# We no longer check pfb, since so many Type 1's now end up with: +# OtherBlues zone 0 too large in relation to BlueScale # # For each format, there is one routine &check_<format> and an exclusion # 'list' (hash reference) $exclude_<format>: the keys are either a @@ -246,8 +248,9 @@ sub main { for my $file (grep { /\.pdf$/ } @files) { check_pdf($file); } - for my $file (grep { /\.pfb$/ } @files) { - check_pfb($file); } + # see comments at top. + #for my $file (grep { /\.pfb$/ } @files) { + # check_pfb($file); } for my $file (grep { /\.tfm$/ } @files) { check_tfm($file); } |