diff options
author | Marius <mariausol@gmail.com> | 2013-03-16 03:00:15 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-03-16 03:00:15 +0200 |
commit | 239fc2639fd42f6ad1c44bb256ae2f98ed164b45 (patch) | |
tree | dbd236ed4443bc27eefa2cdfc4a8890b89e2343a /scripts/context/lua/mtx-fonts.lua | |
parent | 792b2ca2d206c2c90cc9967a8ae4916f53f902d7 (diff) | |
download | context-239fc2639fd42f6ad1c44bb256ae2f98ed164b45.tar.gz |
beta 2013.03.16 01:51
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 |