From 352272f48743f785c3a0cea0dcf4e76efc3270e5 Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg42.2a@gmail.com>
Date: Sun, 3 Nov 2013 19:35:13 +0100
Subject: [news,man] mentions --compress in the appropriate places

---
 luaotfload-tool.lua | 1 +
 1 file changed, 1 insertion(+)

(limited to 'luaotfload-tool.lua')

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
-- 
cgit v1.2.3