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 /luaotfload-tool.lua | |
| parent | 5e5f8de85320ba0ed005fc1676e6df4d877845df (diff) | |
| download | luaotfload-352272f48743f785c3a0cea0dcf4e76efc3270e5.tar.gz | |
[news,man] mentions --compress in the appropriate places
Diffstat (limited to 'luaotfload-tool.lua')
| -rwxr-xr-x | luaotfload-tool.lua | 1 |
1 files changed, 1 insertions, 0 deletions
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 |