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)
'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

index 6f45fd3..c1f9b6a 100644 (file)
@@ -26,6 +26,7 @@ Shell commands
    conitrace
    echo
    exception
+   extension
    exit
    false
    fatinfo