diff options
Diffstat (limited to 'scripts/context/lua/mtx-fonts.lua')
| -rw-r--r-- | scripts/context/lua/mtx-fonts.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/context/lua/mtx-fonts.lua b/scripts/context/lua/mtx-fonts.lua index 0f4e441ec..6dfd6b108 100644 --- a/scripts/context/lua/mtx-fonts.lua +++ b/scripts/context/lua/mtx-fonts.lua @@ -10,7 +10,7 @@ local helpinfo = [[ --save save open type font in raw table --unpack save a tma file in a more readale format ---reload generate new font database +--reload [--force] generate new font database (use force when in doubt) --reload --simple generate 'luatex-fonts-names.lua' (not for context!) --list --name list installed fonts, filter by name [--pattern] @@ -142,7 +142,7 @@ function scripts.fonts.reload() if environment.argument("simple") then fonts.names.simple() else - fonts.names.load(true) + fonts.names.load(true,environment.arguments.force) end end @@ -210,7 +210,7 @@ end local function reloadbase(reload) if reload then report("fontnames, reloading font database") - names.load(true) + names.load(true,environment.arguments.force) report("fontnames, done\n\n") end end |