diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2023-05-12 15:43:38 +0100 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2023-05-12 15:43:38 +0100 |
| commit | d6359e150dbdf84f67add786473fd277a9a442bb (patch) | |
| tree | 0a89167729f561c4804fc8ca06b5cb683cc58721 /docs/system/linuxboot.rst | |
| parent | cd22a0f520f471e3bd33bc19cf3b2fa772cdb2a8 (diff) | |
docs: Remove unused weirdly-named cross-reference targets
In the doc sources, we have a few cross-reference targets with odd
names "pcsys_005fxyz". These are the legacy of the semi-automated
conversion of the old info docs to rST (the '005f' is because ASCII
0x5f is '_' and the old info link names had underscores in them).
Remove the targets which nothing links to, and rename the two targets
which are used to something a bit more descriptive.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Message-id: 20230421163642.1151904-1-peter.maydell@linaro.org
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'docs/system/linuxboot.rst')
| -rw-r--r-- | docs/system/linuxboot.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/system/linuxboot.rst b/docs/system/linuxboot.rst index 228650abc5..5db2e560dc 100644 --- a/docs/system/linuxboot.rst +++ b/docs/system/linuxboot.rst @@ -27,4 +27,4 @@ virtual serial port and the QEMU monitor to the console with the -append "root=/dev/hda console=ttyS0" -nographic Use Ctrl-a c to switch between the serial console and the monitor (see -:ref:`pcsys_005fkeys`). +:ref:`GUI_keys`). |