diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2021-07-05 10:55:42 +0100 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2021-07-18 10:59:46 +0100 |
commit | b4634487c44bd1cc664f45b63c98161dfd170784 (patch) | |
tree | 7c52babc02eb45d9bc506270c3316e79b2f2ce30 /docs/tools | |
parent | 955990af736a8cb2af7839d53b26ed8bb3b0633a (diff) |
docs: Stop calling the top level subsections of our manual 'manuals'
We merged our previous multiple-manual setup into a single Sphinx
manual, but we left some text in the various index.rst lines that
still calls the top level subsections separate 'manuals'. Update
them to talk about "this section of the manual" instead, and remove
now-obsolete comments about how the index.rst files are the "top
level page for the 'foo' manual".
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Acked-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Daniel P. Berrangé <berrange@redhat.com>
Message-id: 20210705095547.15790-3-peter.maydell@linaro.org
Diffstat (limited to 'docs/tools')
-rw-r--r-- | docs/tools/index.rst | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/docs/tools/index.rst b/docs/tools/index.rst index d923834a73..ffb14b9690 100644 --- a/docs/tools/index.rst +++ b/docs/tools/index.rst @@ -1,9 +1,8 @@ -.. This is the top level page for the 'tools' manual - - Tools ===== +This section of the manual documents QEMU's "tools": its +command line utilities and other standalone programs. Contents: |