diff options
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 3 |
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 7eba5aab20e..d99de60f98f 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -106,7 +106,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/pl/' => 1, 'public/pxfonts/' => 1, 'public/rsfs/' => 1, - 'public/starfont/' => 1, # reported to author 4oct10 + 'public/starfont/' => 1, # reported to author 4oct10 'public/staves/' => 1, 'public/tabvar/' => 1, 'public/tex-gyre/' => 1, @@ -115,6 +115,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1', 'public/wasy/' => 1, 'public/xypic/' => 1, 'public/yhmath/' => 1, + 'texworks/fonts/' => 1, # these come from gs 'uhc/umj/' => 1, 'urw/avantgar/' => 1, 'urw/bookman/' => 1, |