From 1c662a4e154559de800dbf129567944ca892d6b3 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Mon, 8 Jun 2020 20:23:21 +0200 Subject: [PATCH] doc: yet another order-dependent generation issue. --- doc/plugins/htmlsanity.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/plugins/htmlsanity.rst b/doc/plugins/htmlsanity.rst index bba564d0..c112fb35 100644 --- a/doc/plugins/htmlsanity.rst +++ b/doc/plugins/htmlsanity.rst @@ -32,6 +32,8 @@ HTML sanity `Plugins <{filename}/plugins.rst>`_ | `Components » <{filename}/plugins/components.rst>`_ +.. role:: css(code) + :language: css .. role:: html(code) :language: html .. role:: jinja(code) -- 2.30.2