proper deletion

functions.sh

@@ -17,7 +17,7 @@ ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 CONFIGDIR="$ROOT/extractionConfiguration"
 LOGDIR="$ROOT/logs/$(date +%Y-%m-%d)"  && mkdir -p $LOGDIR
 DATABUSDIR="$ROOT/databus-poms"
-MARVINEXTRACTIONDIR="$ROOT/marvin-extraction/"
+MARVINEXTRACTIONDIR="$ROOT/marvin-extraction"
 DIEFDIR="$MARVINEXTRACTIONDIR/extraction-framework"
 EXTRACTIONBASEDIR="$MARVINEXTRACTIONDIR/wikidumps" && mkdir -p $EXTRACTIONBASEDIR
 

setup-or-reset-dief.sh

@@ -4,6 +4,7 @@
 source functions.sh
 
 # delete and clone
+rm -rf $DIEFDIR
 rm -r $MARVINEXTRACTIONDIR/*
 cd marvin-extraction
 git clone "https://github.com/dbpedia/extraction-framework.git" $DIEFDIR &>/dev/null