diff options
author | Karl Berry <karl@freefriends.org> | 2016-08-03 23:10:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-08-03 23:10:40 +0000 |
commit | 08240b909e85e85c01730d64cfea27ca348b4799 (patch) | |
tree | bfe6d090703c5d8f40639a8e277c50dab72958fa /Master/tlpkg/bin | |
parent | 99545658e68a1c9200f7c97f0ab9d9183a6a676d (diff) |
ignore demo-ocgx.pdf due to crash; flush buffers; copyright
git-svn-id: svn://tug.org/texlive/trunk@41793 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 2 | ||||
-rwxr-xr-x | Master/tlpkg/bin/check-fmttriggers | 1 | ||||
-rwxr-xr-x | Master/tlpkg/bin/tl-prune-platforms | 2 |
3 files changed, 4 insertions, 1 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, }; diff --git a/Master/tlpkg/bin/check-fmttriggers b/Master/tlpkg/bin/check-fmttriggers index ba1447c9f91..c9bfa5b691f 100755 --- a/Master/tlpkg/bin/check-fmttriggers +++ b/Master/tlpkg/bin/check-fmttriggers @@ -13,6 +13,7 @@ my $Master; BEGIN { $^W = 1; + $| = 1; (my $mydir = $0) =~ s,/[^/]*$,,; my $tlroot = "$mydir/../.."; unshift (@INC, "$tlroot/tlpkg"); diff --git a/Master/tlpkg/bin/tl-prune-platforms b/Master/tlpkg/bin/tl-prune-platforms index 0536c3e9dab..0dd7462471d 100755 --- a/Master/tlpkg/bin/tl-prune-platforms +++ b/Master/tlpkg/bin/tl-prune-platforms @@ -1,5 +1,5 @@ #!/usr/bin/env perl -# Copyright 2012-2013 Norbert Preining +# Copyright 2012-2016 Norbert Preining # This file is licensed under the GNU General Public License version 2 # or any later version. # |