summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2010-03-26 20:57:57 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2010-03-26 20:57:57 +0000
commit651786200b05e6269296c4296669f7faebf8ddaf (patch)
tree325e0eaea805b4322201718b1586a06858b59018
parent5bd617e71a93ecfaaa1806f6acf869efd0ee761a (diff)
etextools.pdf has been fixed
git-svn-id: svn://tug.org/texlive/trunk@17567 c570f23f-e606-0410-a88d-b1316a301751
-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',