summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/tlpkg/bin/check-files-by-format3
-rw-r--r--Master/tlpkg/tlpsrc/asciichart.tlpsrc1
2 files changed, 2 insertions, 2 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
diff --git a/Master/tlpkg/tlpsrc/asciichart.tlpsrc b/Master/tlpkg/tlpsrc/asciichart.tlpsrc
deleted file mode 100644
index 2a7fd011977..00000000000
--- a/Master/tlpkg/tlpsrc/asciichart.tlpsrc
+++ /dev/null
@@ -1 +0,0 @@
-catalogue ascii-chart