diff options
-rwxr-xr-x | Master/tlpkg/bin/tl-check-files-by-format | 3 |
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', |