From c72d7146b5f855ba43674dcdd635bbe586e0af3f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Wed, 14 Sep 2022 18:10:39 +0200
Subject: [PATCH] doc: forgot to list the Developers Guide among pages.

---
 doc/python/conf.py              | 1 +
 doc/python/pages/developers.rst | 9 ++++++++-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/doc/python/conf.py b/doc/python/conf.py
index d843b10..a73f538 100644
--- a/doc/python/conf.py
+++ b/doc/python/conf.py
@@ -164,6 +164,7 @@ INPUT_PAGES = [
     'pages/api-conventions.rst',
     'pages/changelog.rst',
     'pages/credits.rst',
+    'pages/developers.rst',
 
     '../../../magnum-examples/doc/python/examples.rst'
 ]
diff --git a/doc/python/pages/developers.rst b/doc/python/pages/developers.rst
index 7091704..1e33f9b 100644
--- a/doc/python/pages/developers.rst
+++ b/doc/python/pages/developers.rst
@@ -30,7 +30,14 @@ Developers Guide
     corrade
     magnum
 :summary: Checklists for developing new things in Magnum Python bindings
-    themselves
+    themselves.
+
+.. role:: cmake(code)
+    :language: cmake
+.. role:: cpp(code)
+    :language: c++
+.. role:: py(code)
+    :language: py
 
 `Checklist for adding / removing bindings for a library`_
 =========================================================