diff options
| author | Heinrich Schuchardt | 2021-05-16 00:34:28 +0200 |
|---|---|---|
| committer | Heinrich Schuchardt | 2021-05-18 12:36:12 +0200 |
| commit | 06262c3836c3cb1b547c4bfd40e73d0e98b7a5fc (patch) | |
| tree | 81b33d2202d1fa59ba21b2cdde241e61664adec8 /doc/usage | |
| 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>
Diffstat (limited to 'doc/usage')
| -rw-r--r-- | doc/usage/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/usage/index.rst b/doc/usage/index.rst index 6f45fd38780..c1f9b6a53b3 100644 --- a/doc/usage/index.rst +++ b/doc/usage/index.rst @@ -26,6 +26,7 @@ Shell commands conitrace echo exception + extension exit false fatinfo |