Remove development files

2019-10-23 14:11:13 +02:00 · 2019-10-23 14:11:13 +02:00 · 7ace5d4058
parent f3b80ba502
commit 7ace5d4058
2 changed files with 0 additions and 2498 deletions
--- a/2489
+++ b/2489
--- a/updateDocs.sh
+++ b/updateDocs.sh
@ -1,9 +0,0 @@
-#!/bin/sh
-
-SCRIPTPATH="$(readlink -f "$0")"
-SCRIPTPATH="${SCRIPTPATH%/*}"
-
-rm -rf "$SCRIPTPATH/html"
-echo -e "\n\n\n\n"
-#cd "$SCRIPTPATH/" && doxygen && git add $DOCDIR && git commit -a -m "Documentation update."
-cd "$SCRIPTPATH/" && doxygen