diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2021-07-26 15:23:37 +0100 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2021-08-02 12:55:51 +0100 |
commit | 1662ea9f4b8d13e53f3384083fc28e7c8ce93055 (patch) | |
tree | d0d40999d3c280f30207ec8a2b9b2972ea084bc7 /docs/about/removed-features.rst | |
parent | 6df743dc31a6a0b618042da2b550993c6e9767d1 (diff) |
docs/about/removed-features: Fix markup error
The section describing the removed feature "-usbdevice ccid" had a
typo so the markup started with single backtick and ended with double
backtick; fix it.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-id: 20210726142338.31872-10-peter.maydell@linaro.org
Diffstat (limited to 'docs/about/removed-features.rst')
-rw-r--r-- | docs/about/removed-features.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/about/removed-features.rst b/docs/about/removed-features.rst index 28bb035043..07d597847c 100644 --- a/docs/about/removed-features.rst +++ b/docs/about/removed-features.rst @@ -124,7 +124,7 @@ devices. Drives the board doesn't pick up can no longer be used with ''''''''''''''''''''''''''''''''''''' This option was undocumented and not used in the field. -Use `-device usb-ccid`` instead. +Use ``-device usb-ccid`` instead. RISC-V firmware not booted by default (removed in 5.1) '''''''''''''''''''''''''''''''''''''''''''''''''''''' |