chiark / gitweb /
doc: fix another order-dependent processing error.
authorVladimír Vondruš <mosra@centrum.cz>
Fri, 23 Oct 2020 14:34:40 +0000 (16:34 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Fri, 23 Oct 2020 14:34:40 +0000 (16:34 +0200)
doc/documentation/python.rst

index b776243049d16ac4ec19c24fd9788f80f51aa88b..50c5ff2a7bd718dbadeb62f69e2c14a117790ee6 100644 (file)
@@ -44,6 +44,8 @@ Python docs
     :language: js
 .. role:: py(code)
     :language: py
+.. role:: sh(code)
+    :language: sh
 .. role:: rst(code)
     :language: rst