summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tlpkg/bin/tl-check-files-by-format3
1 files changed, 1 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-check-files-by-format b/Master/tlpkg/bin/tl-check-files-by-format
index b6bb85cea81..aa4ec6725b4 100755
--- a/Master/tlpkg/bin/tl-check-files-by-format
+++ b/Master/tlpkg/bin/tl-check-files-by-format
@@ -34,10 +34,9 @@ use TeXLive::TLPDB;
# 2 means pdfinfo exits non-zero
my $exclude_pdf = {
'texmf-dist/doc/latex/dvdcoll/dcexample.pdf' => 1, # [1]
- 'texmf-dist/doc/latex/etextools/etextools.pdf' => 1,# [1]
'texmf/dvips/tetex/config.pdf' => 2, # not a PDF file actually
};
-# [1] may be a false positive, mpg asked pdftex@ on 2010-03-01
+# cf thread started on pdftex@ 2010-03-01
# the value has no meaning here
my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1',