diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-01 16:27:45 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-08-01 16:27:45 +0200 |
| commit | 898fa8861c06b41acd946a1de35a13c64e26d22c (patch) | |
| tree | b548800d77f100c19c4a26132d7a3f7f610b6add /luaotfload-tool.rst | |
| parent | c3e5006283891b494871128613a13ab40f8efc9a (diff) | |
| download | luaotfload-898fa8861c06b41acd946a1de35a13c64e26d22c.tar.gz | |
[diagnose] add diagnostics for font index
Diffstat (limited to 'luaotfload-tool.rst')
| -rw-r--r-- | luaotfload-tool.rst | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/luaotfload-tool.rst b/luaotfload-tool.rst index 80884cd..2d3ae2f 100644 --- a/luaotfload-tool.rst +++ b/luaotfload-tool.rst @@ -159,7 +159,9 @@ miscellaneous 3) ``environment`` -> print relevant environment and kpse variables; 4) ``repository`` -> check the git repository - for new releases. + for new releases, + 5) ``index`` -> check database, display + information about it. Procedures can be chained by concatenating with commas, e.g. ``--diagnose=files,permissions``. |