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: 2f84e9cf06 ("cmd: add support for a new "extension" command")
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
This commit is contained in:
Heinrich Schuchardt 2021-05-16 00:34:28 +02:00
parent 566e857fff
commit 06262c3836
1 changed files with 1 additions and 0 deletions

View File

@ -26,6 +26,7 @@ Shell commands
conitrace
echo
exception
extension
exit
false
fatinfo