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 /doc | |
| parent | 41a2ac387b7cbc1d724fd0016a156c4b210ec07e (diff) | |
| download | luaotfload-d93945a4fe46d821078fae758e76b0b0770b2d44.tar.gz | |
[tool,doc] document “--local” option in manual and usage messages
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/luaotfload-tool.rst | 8 |
1 files changed, 8 insertions, 0 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 |