From 4c4c58963d63761a9ebe299db35b85578b5594e7 Mon Sep 17 00:00:00 2001
From: Volker Stampa <Volker.Stampa@aleph-alpha.com>
Date: Mon, 30 Oct 2023 11:31:17 +0100
Subject: [PATCH] Clean generated rst files after converting them to html

---
 docs/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/Makefile b/docs/Makefile
index dcebeb50a..7ce2137e5 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -19,3 +19,4 @@ help:
 %: Makefile
 	sphinx-apidoc -o . ../src
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+	rm --force `ls *.rst | grep --fixed-strings --invert-match index.rst`