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 | |
parent | 41a2ac387b7cbc1d724fd0016a156c4b210ec07e (diff) | |
download | luaotfload-d93945a4fe46d821078fae758e76b0b0770b2d44.tar.gz |
[tool,doc] document “--local” option in manual and usage messages
-rw-r--r-- | doc/luaotfload-tool.rst | 8 | ||||
-rwxr-xr-x | src/luaotfload-tool.lua | 3 |
2 files changed, 10 insertions, 1 deletions
diff --git a/doc/luaotfload-tool.rst b/doc/luaotfload-tool.rst index 6863918..761b0ec 100644 --- a/doc/luaotfload-tool.rst +++ b/doc/luaotfload-tool.rst @@ -21,6 +21,7 @@ SYNOPSIS [ --prefer-texmf ] [ --dry-run ] [ --formats=[+|-]EXTENSIONS ] [ --no-compress ] [ --no-strip ] + [ --local ] **luaotfload-tool** --find=FONTNAME [ --fuzzy ] [ --info ] [ --inspect ] [ --no-reload ] @@ -57,6 +58,13 @@ update mode --update, -u Update the database; indexes new fonts. --force, -f Force rebuilding of the database; re-indexes all fonts. +--local, -L Include font files in ``$PWD``. This option + will cause large parts of the database to be + rebuilt. Thus it is quite inefficient. + Additionally, if local font files are found, + the database is prevented from being saved + to disk, so the local fonts need to be parsed + with every invocation of ``luaotfload-tool``. --no-reload, -n Suppress auto-updates to the database (e.g. when ``--find`` is passed an unknown name). --no-strip Do not strip redundant information after 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>] |