summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/check-files-by-format
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/check-files-by-format')
-rwxr-xr-xMaster/tlpkg/bin/check-files-by-format3
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.