From 83515feea95ccc16435f2d3bc401a7d8a39cb188 Mon Sep 17 00:00:00 2001
From: Anne Philipp <anne.philipp@univie.ac.at>
Date: Tue, 20 Aug 2019 17:50:24 +0200
Subject: [PATCH] redirected the doctree temporary directory to Sphinx dir and
 deleted it from tracking

---
 For_developers/Sphinx/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/For_developers/Sphinx/Makefile b/For_developers/Sphinx/Makefile
index 35924da..bf53c49 100644
--- a/For_developers/Sphinx/Makefile
+++ b/For_developers/Sphinx/Makefile
@@ -2,7 +2,7 @@
 #
 
 # You can set these variables from the command line.
-SPHINXOPTS    =
+SPHINXOPTS    = -d build_temp
 SPHINXBUILD   = sphinx-build
 SPHINXPROJ    = flex_extract
 SOURCEDIR     = source
-- 
GitLab