diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2020-11-12 14:40:39 +0000 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2020-11-23 11:10:04 +0000 |
commit | 0daf34fd3a18aa2a43217c320e2a39d69e52d3f4 (patch) | |
tree | b014a37e0cc7cbf6b17a4116de7cbff88b526dc5 /docs | |
parent | e8eee8d3d90690b73caac6b0059ad02ed1f170e6 (diff) | |
download | qemu-0daf34fd3a18aa2a43217c320e2a39d69e52d3f4.zip qemu-0daf34fd3a18aa2a43217c320e2a39d69e52d3f4.tar.gz qemu-0daf34fd3a18aa2a43217c320e2a39d69e52d3f4.tar.bz2 |
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>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/system/index.rst | 1 | ||||
-rw-r--r-- | docs/system/pr-manager.rst (renamed from docs/pr-manager.rst) | 0 |
2 files changed, 1 insertions, 0 deletions
diff --git a/docs/system/index.rst b/docs/system/index.rst index 2a5155c..e5a3581 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 index 9b1de19..9b1de19 100644 --- a/docs/pr-manager.rst +++ b/docs/system/pr-manager.rst |