diff options
Diffstat (limited to 'mkluatexfontdb.lua')
| -rwxr-xr-x | mkluatexfontdb.lua | 3 | 
1 files changed, 2 insertions, 1 deletions
| diff --git a/mkluatexfontdb.lua b/mkluatexfontdb.lua index 956fa18..0f0df9f 100755 --- a/mkluatexfontdb.lua +++ b/mkluatexfontdb.lua @@ -113,7 +113,8 @@ end  local function generate(force)      local fontnames, saved      fontnames = names.update(fontnames, force) -    logs.report("fonts in the database", "%i", #fontnames.mappings) +    logs.names_report("log", 0, "fonts in the database", +                      "%i", #fontnames.mappings)      saved = names.save(fontnames)      texiowrite_nl("")  end | 
