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 553332d..99d1552 100755 --- a/mkluatexfontdb.lua +++ b/mkluatexfontdb.lua @@ -89,8 +89,9 @@ end local function generate(force) local fontnames, saved fontnames = names.update(fontnames, force) - logs.report("%s fonts in the database", #fontnames.mappings) + logs.report("fonts in the database", "%i", #fontnames.mappings) saved = names.save(fontnames) + texio.write_nl("") end process_cmdline() |