diff --git a/Makefile b/Makefile
index 82852d08..ac8eb9dc 100644
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,18 @@ do_build:
 	@if [ -e prism/tests ]; then \
 	  echo "mv prism/tests dontcopy"; mv prism/tests dontcopy; \
 	fi
-	mv prism-examples prism/examples
+	mkdir dontcopy
+	@if [ -e prism/examples ]; then \
+	  echo "mv prism/examples dontcopy"; mv prism/examples dontcopy; \
+	fi
+	@if [ -e prism/tests ]; then \
+	  echo "mv prism/tests dontcopy"; mv prism/tests dontcopy; \
+	fi
+	@if [ -e prism/examples-distr ]; then \
+	  echo "mv prism/examples-distr prism/examples"; mv prism/examples-distr prism/examples; \
+	else \
+	  echo "mv prism-examples prism/examples"; mv prism-examples prism/examples; \
+	fi
 	mv cudd prism
 	mv prism "prism-$(VERSION)-src"
 	(cd "prism-$(VERSION)-src"; $(MAKE) dist_src VERSION=$(VERSION))