add directory management to batch_rnc2rng.sh

RuleML · May 18, 2014 · 738d7a2 · 738d7a2
1 parent ffbf033
commit 738d7a2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/bash/batch_rnc2rng.sh b/bash/batch_rnc2rng.sh
@@ -7,6 +7,9 @@ CP2=${LIB}trang-20091111/trang.jar
 # convert all MYNG modules to RNG in preparation
 # for validation against the schema for the design pattern
 cd ../relaxng/modules/
+rm ../tmp/modules/*
+rmdir ../tmp/modules
+mkdir ../tmp/modules
 for file in *.rnc 
 do 
   java -jar "${CP2}"  "${file}" "../tmp/modules/${file}.rng"