From 06262c3836c3cb1b547c4bfd40e73d0e98b7a5fc Mon Sep 17 00:00:00 2001
From: Heinrich Schuchardt <xypron.glpk@gmx.de>
Date: Sun, 16 May 2021 00:34:28 +0200
Subject: [PATCH] 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 | 1 +
1 file changed, 1 insertion(+)
diff --git a/doc/usage/index.rst b/doc/usage/index.rst
index 6f45fd3878..c1f9b6a53b 100644
--- a/doc/usage/index.rst
+++ b/doc/usage/index.rst
@@ -26,6 +26,7 @@ Shell commands
conitrace
echo
exception
+ extension
exit
false
fatinfo
--
2.39.5