diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 20:07:34 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 20:07:34 +0100 |
| commit | e83bdce6f53216620ae959fd55ba7025569d7e44 (patch) | |
| tree | 4ee9e99cb7eb28199c9a58faac4272f31fcd99ca /luaotfload-tool.rst | |
| parent | de6ef7d6566f53b7554bf3861bb10712417b83fd (diff) | |
| download | luaotfload-e83bdce6f53216620ae959fd55ba7025569d7e44.tar.gz | |
[tool] add --no-strip option
Diffstat (limited to 'luaotfload-tool.rst')
| -rw-r--r-- | luaotfload-tool.rst | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/luaotfload-tool.rst b/luaotfload-tool.rst index 6971163..2db8481 100644 --- a/luaotfload-tool.rst +++ b/luaotfload-tool.rst @@ -20,7 +20,7 @@ SYNOPSIS **luaotfload-tool** --update [ --force ] [ --quiet ] [ --verbose ] [ --prefer-texmf ] [ --dry-run ] [ --formats=[+|-]EXTENSIONS ] - [ --compress ] + [ --compress ] [ --no-strip ] **luaotfload-tool** --find=FONTNAME [ --fuzzy ] [ --info ] [ --inspect ] [ --no-reload ] @@ -63,6 +63,10 @@ update mode all fonts. --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 + building the database. Warning: this will + inflate the index to about two to three times + the normal size. --compress Filter plain text version of font index through gzip. |