| commit | 06262c3836c3cb1b547c4bfd40e73d0e98b7a5fc | [log] [tgz] |
|---|---|---|
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | Sun May 16 00:34:28 2021 +0200 |
| committer | Heinrich Schuchardt <xypron.glpk@gmx.de> | Tue May 18 12:36:12 2021 +0200 |
| tree | 81b33d2202d1fa59ba21b2cdde241e61664adec8 | |
| parent | 566e857fff37b8fd760d74042e0b0c04cb43f37d [diff] |
doc: extension.rst missing in doc/usage/index.rst
'make htmldocs' results in a build warning
checking consistency... doc/usage/extension.rst:
WARNING: document isn't included in any toctree
Add the document to the index.
Fixes: 2f84e9cf06d3 ("cmd: add support for a new "extension" command")
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>