From 4a441a9c44bc4ce7a0b40e831e3c7d48b74ba317 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mario=20H=C3=BCttel?= <mario.huettel@gmx.net>
Date: Sun, 16 Aug 2020 11:50:20 +0200
Subject: [PATCH] Documentation: Create build folder in case it does not exist.
 However, add it to the git repo by placing a .gitignore inside

---
 doc/.gitignore     | 1 -
 doc/source/conf.py | 4 ++++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/.gitignore b/doc/.gitignore
index a007fea..e69de29 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1 +0,0 @@
-build/*
diff --git a/doc/source/conf.py b/doc/source/conf.py
index 2a5efd0..2b7b026 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -28,6 +28,10 @@ release = re.sub('^v', '', os.popen('git describe --always --tags --dirty').read
 # The short X.Y version.
 version = release
 
+try:
+	os.mkdir('../build/_doxygen')
+except FileExistsError:
+	pass
 subprocess.call('doxygen Doxyfile.in', shell=True)
 
 # -- General configuration ---------------------------------------------------