From 6d98434cc0171f48235cc3a3f8d172b273333992 Mon Sep 17 00:00:00 2001
From: Jan Benda <jan.benda@uni-tuebingen.de>
Date: Tue, 23 Apr 2024 23:30:45 +0200
Subject: [PATCH] [docs] clean up mkdocs-tmp.yml

---
 build-docs.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build-docs.sh b/build-docs.sh
index 5709b5a..71e2036 100755
--- a/build-docs.sh
+++ b/build-docs.sh
@@ -35,8 +35,10 @@ if command -v mkdocs >/dev/null; then
     if $HAS_COVER; then
 	echo "    - Coverage: 'cover/index.html'" >> mkdocs-tmp.yml
     fi
+    mkdir docs
     sed -e 's|docs/||; /\[Documentation\]/d; /\[API Reference\]/d' README.md > docs/index.md
     mkdocs build --config-file mkdocs-tmp.yml --site-dir "$BUILDROOT"
+    rm mkdocs-tmp.yml
     cd - > /dev/null
 fi