diff options
author | Karl Berry <karl@freefriends.org> | 2020-03-17 21:32:21 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-03-17 21:32:21 +0000 |
commit | 636cbf03f6dcdc84f121e242abcf036015800524 (patch) | |
tree | 7b9733c2f72e4c4483bb2840616755819aa59d8c /Master/texmf-dist/scripts/l3build/l3build-check.lua | |
parent | f853b6bb8fe5ed8eea324afcd32ad325056fe1e2 (diff) |
l3build (17mar20)
git-svn-id: svn://tug.org/texlive/trunk@54379 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.lua | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/l3build/l3build-check.lua b/Master/texmf-dist/scripts/l3build/l3build-check.lua index 1487d372541..9f83b934122 100644 --- a/Master/texmf-dist/scripts/l3build/l3build-check.lua +++ b/Master/texmf-dist/scripts/l3build/l3build-check.lua @@ -225,7 +225,9 @@ local function normalize_log(content,engine,errlevels) end end -- Remove the \special line that in DVI mode keeps PDFs comparable - if match(line, "^%.*\\special%{pdf: docinfo << /Creator") then + if match(line, "^%.*\\special%{pdf: docinfo << /Creator") or + match(line, "^%.*\\special%{ps: /setdistillerparams") or + match(line, "^%.*\\special%{! <</........UUID") then return "" end -- Remove \special lines for DVI .pro files @@ -540,7 +542,7 @@ local function normalize_pdf(content) elseif not match(line, "^ *$") and not match(line,"^%%%%Invocation") and not match(line,"^%%%%%+") then - line = gsub(line,"%/ID %[<[^>]+><[^>]+>]","/ID [<ID-STRING><ID-STRING>]") + line = gsub(line,"%/ID( ?)%[<[^>]+><[^>]+>]","/ID%1[<ID-STRING><ID-STRING>]") new_content = new_content .. line .. os_newline end end |