diff options
Diffstat (limited to 'Master/tlpkg')
| -rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 3 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/asciichart.tlpsrc | 1 |
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 |