diff options
author | Paul Beesley <paul.beesley@arm.com> | 2019-03-13 15:11:04 +0000 |
---|---|---|
committer | Paul Beesley <paul.beesley@arm.com> | 2019-05-22 11:28:17 +0100 |
commit | 29c02529592fb2489edee6c92e418918e5732105 (patch) | |
tree | 9510a970fc1f7c0779ae1521303edfae4f55ff91 /docs/components/sdei.rst | |
parent | 8f62ca7b3060b87ede0a55c1972e5d2146a23890 (diff) |
doc: Set correct syntax highlighting style
Several code blocks do not specify a language for syntax
highlighting. This results in Sphinx using a default highlighter
which is Python.
This patch adds the correct language to each code block that doesn't
already specify it.
Change-Id: Icce1949aabfdc11a334a42d49edf55fa673cddc3
Signed-off-by: Paul Beesley <paul.beesley@arm.com>
Diffstat (limited to 'docs/components/sdei.rst')
-rw-r--r-- | docs/components/sdei.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/components/sdei.rst b/docs/components/sdei.rst index 8c087897..7b6cc913 100644 --- a/docs/components/sdei.rst +++ b/docs/components/sdei.rst @@ -224,7 +224,7 @@ activity, such as receiving a Secure interrupt or an exception. The SDEI dispatcher implementation provides ``sdei_dispatch_event()`` API for this purpose. The API has the following signature: -:: +.. code:: c int sdei_dispatch_event(int ev_num); |