doc: extension.rst missing in doc/usage/index.rst
authorHeinrich Schuchardt <xypron.glpk@gmx.de>
Sat, 15 May 2021 22:34:28 +0000 (00:34 +0200)
committerHeinrich Schuchardt <xypron.glpk@gmx.de>
Tue, 18 May 2021 10:36:12 +0000 (12:36 +0200)
commit06262c3836c3cb1b547c4bfd40e73d0e98b7a5fc
tree81b33d2202d1fa59ba21b2cdde241e61664adec8
parent566e857fff37b8fd760d74042e0b0c04cb43f37d
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>
doc/usage/index.rst