summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/check-files-by-format
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/check-files-by-format')
-rwxr-xr-xMaster/tlpkg/bin/check-files-by-format3
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