diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-11 14:11:37 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-11 14:11:37 +0200 |
| commit | fb445efa901ca24160bfe79d59f535b767ffa408 (patch) | |
| tree | dcfb8f5eb9f578445cb098bbe848e27a2b38ef31 /luaotfload-tool.lua | |
| parent | 3c7d3b4817ea273b48f15e556c5978765a7b981d (diff) | |
| download | luaotfload-fb445efa901ca24160bfe79d59f535b767ffa408.tar.gz | |
add ``--dry-run`` to usage info
Diffstat (limited to 'luaotfload-tool.lua')
| -rwxr-xr-x | luaotfload-tool.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index 686a343..882a296 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -156,6 +156,7 @@ This tool is part of the luaotfload package. Valid options are: -u --update update the database -f --force force re-indexing all fonts -l --flush-lookups empty lookup cache of font requests + -D --dry-run skip loading of fonts, just scan --find="font name" query the database for a font name -F --fuzzy look for approximate matches if --find fails |