diff options
Diffstat (limited to 'Master/tlpkg/bin/check-files-by-format')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 47b754d03b9..ab180df7d43 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -51,6 +51,8 @@ my $exclude_pdf = { # 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, + # 4aug16 pdfinfo from xpdf 3.03 crashes (reported to derekn): + 'texmf-dist/doc/latex/ocgx/demo-ocgx.pdf' => -1, # not a PDF file: 'texmf-dist/dvips/tetex/config.pdf' => -1, }; |