From: Peter Maydell <peter.maydell@linaro.org>
Date: Thu, 12 Nov 2020 14:40:39 +0000 (+0000)
Subject: docs: Move pr-manager.rst into the system manual
X-Git-Tag: v5.2.0-rc3~8^2~2
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=0daf34fd3a18aa2a43217c320e2a39d69e52d3f4;p=thirdparty%2Fqemu.git

docs: Move pr-manager.rst into the system manual

Move the pr-manager documentation into the system manual.
Some of it (the documentation of the pr-manager-helper tool)
should be in tools, but we will split it up after moving it.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
---

diff --git a/docs/system/index.rst b/docs/system/index.rst
index 2a5155c67dc..e5a35817a24 100644
--- a/docs/system/index.rst
+++ b/docs/system/index.rst
@@ -31,6 +31,7 @@ Contents:
    managed-startup
    cpu-hotplug
    virtio-pmem
+   pr-manager
    targets
    security
    deprecated
diff --git a/docs/pr-manager.rst b/docs/system/pr-manager.rst
similarity index 100%
rename from docs/pr-manager.rst
rename to docs/system/pr-manager.rst