diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-31 22:59:17 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-07-31 22:59:17 +0200 |
| commit | 6b230e2f951822095d9ea5b9fc12c4307b8581ea (patch) | |
| tree | a311a93f5666f3729bf8bcc3b96a817dcb9f2672 /luaotfload-tool.lua | |
| parent | e8b9a15801b4d0cd52126d21d4ba262b472ba45c (diff) | |
| download | luaotfload-6b230e2f951822095d9ea5b9fc12c4307b8581ea.tar.gz | |
[doc] document --format and add it to usage message
Diffstat (limited to 'luaotfload-tool.lua')
| -rwxr-xr-x | luaotfload-tool.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index 8cac103..b5c7976 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -211,6 +211,7 @@ This tool is part of the luaotfload package. Valid options are: -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 + --formats=[+|-]EXTENSIONS set, add, or subtract formats to index -p --prefer-texmf prefer fonts in the TEXMF over system fonts --find="font name" query the database for a font name @@ -267,6 +268,7 @@ The font database will be saved to short = [[ Usage: luaotfload-tool [--help] [--version] [--verbose=<lvl>] [--update] [--force] [--prefer-texmf] + [--dry-run] [--formats=<extension list>] [--find=<font name>] [--fuzzy] [--info] [--inspect] [--list=<criterion>] [--fields=<field list>] [--cache=<directive>] [--flush-lookups] |