diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-12 23:25:28 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-12 23:25:28 +0100 |
commit | f564f346e2a1b200fe27174011070adc7a527b28 (patch) | |
tree | 268075abcce42176d667051837da95531b9b8e9a | |
parent | a59d8dc80df1e9359938f0fc2e2b1d335f863bbf (diff) | |
download | luaotfload-f564f346e2a1b200fe27174011070adc7a527b28.tar.gz |
[man] update references to db compression
-rw-r--r-- | NEWS | 5 | ||||
-rw-r--r-- | luaotfload-tool.rst | 7 |
2 files changed, 7 insertions, 5 deletions
@@ -9,8 +9,9 @@ Change History * Test runner (script mktests) * New luaotfload-tool option: ``--no-reload`` * ``luaotfload-tool --find`` now understands request syntax - * option ``--compress`` filters text (Lua script) version of the font - index through gzip + * text (Lua script) version of the font index is filtered through gzip by + default, the ``--no-compress`` option of luaotfload-tool will prevent + this * rename ``luaotfload-merged.lua`` (the fontloader package from Context) to ``luaotfload-fontloader.lua`` diff --git a/luaotfload-tool.rst b/luaotfload-tool.rst index 37ef779..26f830b 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 ] [ --no-strip ] + [ --no-compress ] [ --no-strip ] **luaotfload-tool** --find=FONTNAME [ --fuzzy ] [ --info ] [ --inspect ] [ --no-reload ] @@ -67,8 +67,9 @@ update mode 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. +--no-compress, -c Do not filter the plain text version of the + font index through gzip. Useful for debugging + if your editor is built without zlib. --prefer-texmf, -p Organize the file name database in a way so that it prefer fonts in the *TEXMF* tree over |