diff options
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index fd6e54e9d21..f9d58d4f95e 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -60,7 +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/bbold-type1/' => 1, # old y&y fonts, won't be changing 'public/belleek/' => 1, 'public/bera/' => 1, 'public/brushscr/' => 1, |