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>
2020-11-12 14:40:39 +00:00 · 2020-11-12 14:40:39 +00:00 · 0daf34fd3a
commit 0daf34fd3a
parent e8eee8d3d9
2 changed files with 1 additions and 0 deletions
--- 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
--- a/docs/system/pr-manager.rst
+++ b/docs/system/pr-manager.rst