diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-15 00:57:10 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-04-15 00:57:10 +0200 |
| commit | 5a8c4657de6b599e1897d8ac4e685264e0ac0587 (patch) | |
| tree | 4475fa4bd49a9cf5bda07c715797377d25e182eb /mkluatexfontdb.lua | |
| parent | 25444ac8cd48cd5ad7ed32bfcc9a0a1314e2223a (diff) | |
| download | luaotfload-5a8c4657de6b599e1897d8ac4e685264e0ac0587.tar.gz | |
unify logging
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 |