[doc] Fix broken documentation that CI apparently missed
[doc] Fix broken documentation that CI apparently missed

Signed-off-by: Miguel Young de la Sota <71b8e7f4945fd97b98544cf897992af89646547a@google.com>

lowRISC/manticore,lowRISC/manticore,lowRISC/manticore