diff options
author | Karl Berry <karl@freefriends.org> | 2019-11-01 21:00:21 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-11-01 21:00:21 +0000 |
commit | fdb7d0585af6b9054e895d6f3047766f799b6098 (patch) | |
tree | 59e8b2c6971d1fb91d08250283dfa74589869d2d /Master/texmf-dist/scripts/make4ht/filters/make4ht-domfilter.lua | |
parent | 1eea7ddd33803c5945bc4b2b2654c960d42aa0c2 (diff) |
make4ht (1nov19)
git-svn-id: svn://tug.org/texlive/trunk@52603 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/make4ht/filters/make4ht-domfilter.lua')
-rw-r--r-- | Master/texmf-dist/scripts/make4ht/filters/make4ht-domfilter.lua | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/make4ht/filters/make4ht-domfilter.lua b/Master/texmf-dist/scripts/make4ht/filters/make4ht-domfilter.lua index 27d9ed871d1..f6df769d60c 100644 --- a/Master/texmf-dist/scripts/make4ht/filters/make4ht-domfilter.lua +++ b/Master/texmf-dist/scripts/make4ht/filters/make4ht-domfilter.lua @@ -1,6 +1,7 @@ local filter_lib = require "make4ht-filterlib" local dom = require "luaxml-domobject" local mkutils = require "mkutils" +local log = logging.new "domfilter" local function load_filter(filtername) return require("domfilters.make4ht-"..filtername) @@ -42,8 +43,8 @@ local function filter(filters, name) return dom.parse(input) end) if not status then - print("DOM parsing of " .. filename .. " failed:") - print(domobject) + log:warning("DOM parsing of " .. filename .. " failed:") + log:warning(domobject) return nil, "DOM parsing failed" end for _,f in pairs(sequence) do @@ -53,7 +54,7 @@ local function filter(filters, name) if output then filter_lib.save_input_file(filename, output) else - print("DOM filter failed on ".. filename) + log:warning("DOM filter failed on ".. filename) end -- mark the filename as processed processed_files[filename] = true |