From 82eb2762a28d3506ddb49caaacb4c1370ad15007 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Kijewski?= <rene.kijewski@fu-berlin.de>
Date: Tue, 18 Jun 2024 13:51:27 +0200
Subject: [PATCH] Actually execute update-theme.py

---
 .readthedocs.yaml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index b690a3ec..3a7ab860 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -5,8 +5,12 @@ version: 2
 build:
   os: ubuntu-lts-latest
   tools:
-    rust: latest
+    python: "3.12"
   commands:
+    # Generate "book/theme/index.hbs" as "skeleton" of the generated pages.
+    - book/update-theme.py
+    # Install mdbook.
     - mkdir -p $HOME/bin
     - curl --location --silent --show-error --fail https://github.com/cargo-bins/cargo-quickinstall/releases/download/mdbook-0.4.40/mdbook-0.4.40-x86_64-unknown-linux-gnu.tar.gz | tar -xzvvf - -C $HOME/bin
+    # Convert the book to HTML.
     - $HOME/bin/mdbook build book --dest-dir $READTHEDOCS_OUTPUT/html