Commit 4ba9241a authored by thorsten.vitt's avatar thorsten.vitt
Browse files

Clear split output directory before splitting

parent 75b2264f
......@@ -84,8 +84,8 @@ pipeline() {
echo "Done with $filename."
#echo " 7pre. Clearing split output directory"
#rm -rf -- "$odir/7-split/"
echo " 7pre. Clearing split output directory"
rm -rf -- "$odir/7-split/"
echo " 7. Splitting $filename ... "
saxon \
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment