diff options
Diffstat (limited to 'macros/latex/contrib/l3build/l3build-check.lua')
-rw-r--r-- | macros/latex/contrib/l3build/l3build-check.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/macros/latex/contrib/l3build/l3build-check.lua b/macros/latex/contrib/l3build/l3build-check.lua index ea550327eb..8bafe0591c 100644 --- a/macros/latex/contrib/l3build/l3build-check.lua +++ b/macros/latex/contrib/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 |