diff options
Diffstat (limited to 'Master/texmf-dist/scripts/make4ht/extensions/staticsite.lua')
-rw-r--r-- | Master/texmf-dist/scripts/make4ht/extensions/staticsite.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/make4ht/extensions/staticsite.lua b/Master/texmf-dist/scripts/make4ht/extensions/staticsite.lua index fcb6c09e17d..a4204bc1733 100644 --- a/Master/texmf-dist/scripts/make4ht/extensions/staticsite.lua +++ b/Master/texmf-dist/scripts/make4ht/extensions/staticsite.lua @@ -1,6 +1,7 @@ local M = {} local filter = require "make4ht-filter" local mkutils = require "mkutils" +local log = logging.new "staticsite" -- get the published file name local function get_slug(settings) @@ -15,7 +16,7 @@ local function get_slug(settings) local f = io.open(published_name, "r") local readtime = f:read("*line") time = tonumber(readtime) - print("Already pubslished", slug) + log:info("Already pubslished", slug) f:close() else -- escape |