diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-14 23:25:42 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-14 23:25:42 +0100 |
| commit | d93945a4fe46d821078fae758e76b0b0770b2d44 (patch) | |
| tree | f88a881b31455b28b36d526304aa4a91b5009961 /src | |
| parent | 41a2ac387b7cbc1d724fd0016a156c4b210ec07e (diff) | |
| download | luaotfload-d93945a4fe46d821078fae758e76b0b0770b2d44.tar.gz | |
[tool,doc] document “--local” option in manual and usage messages
Diffstat (limited to 'src')
| -rwxr-xr-x | src/luaotfload-tool.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/luaotfload-tool.lua b/src/luaotfload-tool.lua index f9b9b94..9e75944 100755 --- a/src/luaotfload-tool.lua +++ b/src/luaotfload-tool.lua @@ -193,6 +193,7 @@ Usage: %s [OPTIONS...] -n --no-reload suppress db update --no-strip keep redundant information in db -f --force force re-indexing all fonts + -L --local scan font files in $PWD -c --no-compress do not gzip index file (text version only) -l --flush-lookups empty lookup cache of font requests -D --dry-run skip loading of fonts, just scan @@ -236,7 +237,7 @@ update your scripts and/or habits! Kthxbye. ]], short = [[ Usage: luaotfload-tool [--help] [--version] [--verbose=<lvl>] - [--update] [--force] [--prefer-texmf] + [--update] [--force] [--prefer-texmf] [--local] [--dry-run] [--formats=<extension list>] [--find=<font name>] [--fuzzy] [--info] [--inspect] [--list=<criterion>] [--fields=<field list>] |