From e72296e90dca25d8fc7b30abff264322c4e826a6 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 11:30:04 +0200
Subject: [PATCH] Fix up #6: add missing file

In #6 I forgot to add the most importand file of the PR: .readthedocs.yaml
---
 .readthedocs.yaml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 .readthedocs.yaml

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
new file mode 100644
index 00000000..b690a3ec
--- /dev/null
+++ b/.readthedocs.yaml
@@ -0,0 +1,12 @@
+# See https://docs.readthedocs.io/en/stable/config-file/v2.html for details
+
+version: 2
+
+build:
+  os: ubuntu-lts-latest
+  tools:
+    rust: latest
+  commands:
+    - 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
+    - $HOME/bin/mdbook build book --dest-dir $READTHEDOCS_OUTPUT/html