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-format2
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,
};