chiark / gitweb /
doc: fix for order-dependent processing, again.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 25 Aug 2019 11:16:19 +0000 (13:16 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 25 Aug 2019 11:16:19 +0000 (13:16 +0200)
doc/documentation/python.rst

index 11efd304b61c6ba59bae73244604c01012f8731d..d21c5eb92b88547f83304e274c9c33475e35e44a 100644 (file)
@@ -38,6 +38,8 @@ Python docs
     :language: cpp
 .. role:: css(code)
     :language: css
+.. role:: html(code)
+    :language: html
 .. role:: js(code)
     :language: js
 .. role:: py(code)