diff options
| -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 2a5155c67d..e5a35817a2 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 9b1de198b1..9b1de198b1 100644 --- a/docs/pr-manager.rst +++ b/docs/system/pr-manager.rst |