From 06262c3836c3cb1b547c4bfd40e73d0e98b7a5fc Mon Sep 17 00:00:00 2001 From: Heinrich Schuchardt Date: Sun, 16 May 2021 00:34:28 +0200 Subject: 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 --- doc/usage/index.rst | 1 + 1 file changed, 1 insertion(+) (limited to 'doc') 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 -- cgit v1.2.3