diff --git a/Makefile b/Makefile
index 347c690c..715cc552 100644
--- a/Makefile
+++ b/Makefile
@@ -26,10 +26,9 @@ do_build:
 	@if [ -e prism/tests ]; then \
 	  echo "mv prism/tests dontcopy"; mv prism/tests dontcopy; \
 	fi
+	echo "mv prism-examples prism/examples"; mv prism-examples prism/examples
 	@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; \
+	  echo "mv prism/examples-distr/* prism/examples"; mv prism/examples-distr/* prism/examples; \
 	fi
 	mv cudd prism
 	mv prism "prism-$(VERSION)-src"