Only delete Oidos dir

00dddbdd · Aske Simon Christensen · 2ac537e6 · 00dddbdd
Commit 00dddbdd authored Apr 15, 2017 by Aske Simon Christensen
--- a/makedist.sh
+++ b/makedist.sh
 #!/bin/bash

 DIST=dist/Oidos
-rm -rf dist
+rm -rf dist/Oidos

 # Build synth
 cd synth