summaryrefslogtreecommitdiff
path: root/docs/tools
diff options
context:
space:
mode:
authorPeter Maydell <peter.maydell@linaro.org>2021-07-05 10:55:42 +0100
committerPeter Maydell <peter.maydell@linaro.org>2021-07-18 10:59:46 +0100
commitb4634487c44bd1cc664f45b63c98161dfd170784 (patch)
tree7c52babc02eb45d9bc506270c3316e79b2f2ce30 /docs/tools
parent955990af736a8cb2af7839d53b26ed8bb3b0633a (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.rst5
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: