summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/l3build/l3build-check.lua
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-02-04 22:19:11 +0000
committerKarl Berry <karl@freefriends.org>2020-02-04 22:19:11 +0000
commitc4f9025af51074274f379c8470324c4e7839780a (patch)
tree103414c2372bc6eec1de2306f3c248f45d394ef6 /Master/texmf-dist/scripts/l3build/l3build-check.lua
parentae7de6a5194241c4f284dcb79422e325b2f3e8ca (diff)
l3 (4feb20)
git-svn-id: svn://tug.org/texlive/trunk@53673 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/l3build/l3build-check.lua')
-rw-r--r--Master/texmf-dist/scripts/l3build/l3build-check.lua4
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/l3build/l3build-check.lua b/Master/texmf-dist/scripts/l3build/l3build-check.lua
index ea550327eb1..8bafe0591c0 100644
--- a/Master/texmf-dist/scripts/l3build/l3build-check.lua
+++ b/Master/texmf-dist/scripts/l3build/l3build-check.lua
@@ -228,6 +228,10 @@ local function normalize_log(content,engine,errlevels)
if match(line, "^%.*\\special%{pdf: docinfo << /Creator") then
return ""
end
+ -- Remove \special lines for DVI .pro files
+ if match(line, "^%.*\\special%{header=") then
+ return ""
+ end
if match(line, "^%.*\\special%{dvipdfmx:config") then
return ""
end