Add: document cleanup tool

sarvex · Dec 4, 2018 · 6970d53 · 6970d53
1 parent a4a8bd5
commit 6970d53
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tools/cleanup.sh b/tools/cleanup.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+if [ $# -ne 1 ]; then
+    echo "Usage: sh cleanup.sh <source-dir>"
+    exit 1
+fi
+
+source_dir=${1}
+
+# delete already created documents
+cd ${source_dir}
+rm -rf doc/python_api/sphinx-in doc/python_api/sphinx-in-tmp
+