From: Heinrich Schuchardt Date: Sat, 15 May 2021 22:34:28 +0000 (+0200) Subject: doc: extension.rst missing in doc/usage/index.rst X-Git-Url: http://git.dujemihanovic.xyz/?a=commitdiff_plain;h=06262c3836c3cb1b547c4bfd40e73d0e98b7a5fc;p=u-boot.git 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 --- 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