tree e1c22b2186acf1a883f473f0eac5aaf6cb20478e
parent 09f8df86ac44ebe8b58ea3a78f222a4f9d3fc899
author Bence Szépkúti <bence.szepkuti@arm.com> 1683655911 +0200
committer Bence Szépkúti <bence.szepkuti@arm.com> 1683794463 +0200

Work around Readthedocs command parsing bug

Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>