diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 3100a132a28..47b754d03b9 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -42,16 +42,15 @@ my $exclude_otf = { '*base*' => 'texmf-dist/fonts/opentype', # 1 means pdfinfo issues errors but still exits successfully # 2 means pdfinfo exits non-zero +# -1 means skip completely. my $exclude_pdf = { # 14nov11 author cannot fix: 'texmf-dist/doc/fonts/frcursive/frcursive.pdf' => 1, # 17apr14 unknown: 'texmf-dist/doc/generic/pst-perspective/' => 1, - # 20dec15 "couldn't read xref table", but seems mostly ok: + # 2jul16+20dec15 "couldn't read xref table", but seems basically ok: + 'texmf-dist/doc/latex/bookcover/figures/ekflogo.pdf' => 1, 'texmf-dist/doc/latex/ksp-thesis/ksp-thesis.pdf' => 1, - # 15dec12 derekn says will be fixed in next xpdf after 3.03: - # (causes seg fault now): - 'texmf-dist/doc/latex/ocgx/demo-ocgx.pdf' => -1, # not a PDF file: 'texmf-dist/dvips/tetex/config.pdf' => -1, }; |