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 5a49ff6c212..c0df02f8afb 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -139,7 +139,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'wadalab/dmj/' => 1, 'wadalab/mcj/' => 1, 'wadalab/mrj/' => 1, - 'tlpkg/texworks/fonts/' => 1, # these come from gs + 'tlpkg/texworks/share/fonts/' => 1, # these come from gs }; # mpg: are these files actually broken?? Should look for the actual errors and # check with a font expert which are dummy, then filter them out. |