diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 19:35:13 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 19:35:13 +0100 |
commit | 352272f48743f785c3a0cea0dcf4e76efc3270e5 (patch) | |
tree | 466d2ee59497b1e99e60b213de4622767a726c8a | |
parent | 5e5f8de85320ba0ed005fc1676e6df4d877845df (diff) | |
download | luaotfload-352272f48743f785c3a0cea0dcf4e76efc3270e5.tar.gz |
[news,man] mentions --compress in the appropriate places
-rw-r--r-- | NEWS | 2 | ||||
-rwxr-xr-x | luaotfload-tool.lua | 1 | ||||
-rw-r--r-- | luaotfload-tool.rst | 3 |
3 files changed, 6 insertions, 0 deletions
@@ -9,6 +9,8 @@ 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 2013/07/10, luaotfload v2.3a * Detect LuaJIT interpreter (LuaJITTeX) diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index f2dd98a..ab1d4d9 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -214,6 +214,7 @@ This tool is part of the luaotfload package. Valid options are: -u --update update the database -n --no-reload suppress db update -f --force force re-indexing all fonts + -c --compress gzip index file (text version only) -l --flush-lookups empty lookup cache of font requests -D --dry-run skip loading of fonts, just scan --formats=[+|-]EXTENSIONS set, add, or subtract formats to index diff --git a/luaotfload-tool.rst b/luaotfload-tool.rst index 03ff407..4ccc1dd 100644 --- a/luaotfload-tool.rst +++ b/luaotfload-tool.rst @@ -20,6 +20,7 @@ SYNOPSIS **luaotfload-tool** --update [ --force ] [ --quiet ] [ --verbose ] [ --prefer-texmf ] [ --dry-run ] [ --formats=[+|-]EXTENSIONS ] + [ --compress ] **luaotfload-tool** --find=FONTNAME [ --fuzzy ] [ --info ] [ --inspect ] [ --no-reload ] @@ -62,6 +63,8 @@ update mode all fonts. --no-reload, -n Suppress auto-updates to the database (e.g. when ``--find`` is passed an unknown name). +--compress Filter plain text version of font index through + gzip. --prefer-texmf, -p Organize the file name database in a way so that it prefer fonts in the *TEXMF* tree over |