diff options
-rwxr-xr-x | Master/tlpkg/bin/tl-check-files-by-format | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-check-files-by-format b/Master/tlpkg/bin/tl-check-files-by-format index fad08b18657..1e83a3bf582 100755 --- a/Master/tlpkg/bin/tl-check-files-by-format +++ b/Master/tlpkg/bin/tl-check-files-by-format @@ -22,7 +22,6 @@ use warnings; use File::Basename; -use TeXLive::TLPDB; use File::Temp; BEGIN { @@ -31,6 +30,8 @@ BEGIN { unshift (@INC, "$tlroot/tlpkg"); } +use TeXLive::TLPDB; + # 1 means pdfinfo issues errors but still exits successfully # 2 means pdfinfo exits non-zero my $exclude_pdf = { |