diff --git a/Makefile b/Makefile
index 04754097..5f7df21b 100644
--- a/Makefile
+++ b/Makefile
@@ -13,8 +13,7 @@ dist_src: dist_check_version
 	mv prism-examples prism/examples
 	mv cudd prism
 	mv prism "prism-$(VERSION)-src"
-	(cd "prism-$(VERSION)-src"; $(MAKE) clean_all )
-	(cd "prism-$(VERSION)-src"; $(MAKE) dist_tidy )
+	(cd "prism-$(VERSION)-src"; $(MAKE) dist_src )
 	tar cfz "prism-$(VERSION)-src.tar.gz" "prism-$(VERSION)-src"
 
 dist_check_version: