additional cleaning in release prep

tholden · May 13, 2020 · 2244cb2 · 2244cb2
1 parent 741f2c1
commit 2244cb2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/DevTools/PrepareRelease.sh b/DevTools/PrepareRelease.sh
@@ -69,10 +69,15 @@ rm -f -r -d -- **/*.eps
 rm -f -r -d -- **/*.jnl
 rm -f -r -d -- **/*.orig
 rm -f -r -d -- **/*.png
+rm -f -r -d -- **/*.emf
+rm -f -r -d -- **/*.synctex.gz
+rm -f -r -d -- **/*.toc
+rm -f -r -d -- **/*.aux
 
 echo 4
 
 rm -f -r -d -- **/dynareOBCTemp*
+rm -f -r -d -- **/+dynareOBCTemp*
 rm -f -r -d -- **/*deleteThis*
 rm -f -r -d -- **/~*
 rm -f -r -d -- **/outcmaes*.*