From 8421c2e947d47281b5d5eca4251e074f7f8ccf53 Mon Sep 17 00:00:00 2001
From: Patrick Lehmann <Patrick.Lehmann@tu-dresden.de>
Date: Wed, 21 Dec 2016 01:11:59 +0100
Subject: [PATCH] Remove old build directory.

---
 docs/conf.py | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index 6171b0bd..71215158 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -58,7 +58,7 @@
 	'autoapi.sphinx',
 	# 'changelog',
 # local extensions (patched)
-	'autoprogram',	             #'sphinxcontrib.autoprogram',
+	'autoprogram',               #'sphinxcontrib.autoprogram',
 # local extensions
 	'DocumentMember',
 	'poc'
@@ -70,11 +70,21 @@
 # if (not (tags.has('PoCExternal') or tags.has('PoCInternal'))):
 	# tags.add('PoCExternal')
 
-from pathlib import Path
+from pathlib  import Path
+from shutil   import rmtree as shutil_rmtree
+
+buildDirectory = Path("_build")
+print("Removing old build directory '{0!s}'...".format(buildDirectory))
+shutil_rmtree(str(buildDirectory))
+
 pyInfrastructureDirectory = Path("PyInfrastructure")
+print("Removing created files from '{0!s}'...".format(pyInfrastructureDirectory))
 for path in pyInfrastructureDirectory.iterdir():
 	if (path.name != "index.rst"):
+		print("  {0!s}".format(path))
 		path.unlink()
+print()
+
 
 autodoc_member_order = "bysource"