From 8df85d533bf161b5466b066bd7de67d4e7db2a2c Mon Sep 17 00:00:00 2001
From: Philipp Arras <parras@mpa-garching.mpg.de>
Date: Wed, 30 Jan 2019 11:09:19 +0100
Subject: [PATCH] Clear build output for doc builds

---
 docs/generate.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/generate.sh b/docs/generate.sh
index d8da633f..4dd659fc 100755
--- a/docs/generate.sh
+++ b/docs/generate.sh
@@ -1,3 +1,3 @@
-# rm -rf docs/build docs/source/mod
+rm -rf docs/build docs/source/mod
 sphinx-apidoc -e -o docs/source/mod nifty5
 sphinx-build -b html docs/source/ docs/build/
-- 
GitLab