summaryrefslogtreecommitdiffstats
path: root/docs/system/pr-manager.rst
Commit message (Collapse)AuthorAgeFilesLines
* docs/system/pr-manager.rst: Fix minor docs nitsPeter Maydell2020-11-231-3/+3
| | | | | | | | | Fix a couple of nits in pr-manager.rst: * the title marker for the top level heading is overlength * stray capital 'R' in the middle of a sentence Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
* docs: Split qemu-pr-helper documentation into tools manualPeter Maydell2020-11-231-33/+5Star
| | | | | | | | Split the documentation of the qemu-pr-helper binary into the tools manual, and give it a manpage like our other standalone executables. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
* docs: Move pr-manager.rst into the system manualPeter Maydell2020-11-231-0/+111
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>