diff options
Diffstat (limited to 'Master/tlpkg/bin/check-files-by-format')
-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 d99de60f98f..8112a9858df 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -29,6 +29,7 @@ BEGIN { use TeXLive::TLPDB; + # 1 means pdfinfo issues errors but still exits successfully # 2 means pdfinfo exits non-zero my $exclude_pdf = { @@ -115,7 +116,6 @@ 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, @@ -135,6 +135,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 }; # 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. |