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 8d2b5e9fa02..fd6e54e9d21 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -60,6 +60,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/ascii/' => 1, 'public/augie/' => 1, 'public/aurical/' => 1, + 'public/bbold-type1' => 1, # old y&y fonts, won't be changing 'public/belleek/' => 1, 'public/bera/' => 1, 'public/brushscr/' => 1, @@ -252,7 +253,7 @@ sub check_pfb my $errfile = "$tmpdir/pfberr"; unlink($errfile); my $bad = system("t1lint -q $tlroot/$file"); - print "Broken PFB: $file\n" if $bad; + print "Bad PFB: $file\n" if $bad; } # check a tfm file |