diff options
Diffstat (limited to 'Master/texmf-dist/scripts/l3build/l3build-check.lua')
| -rw-r--r-- | Master/texmf-dist/scripts/l3build/l3build-check.lua | 4 |
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 |