Add dist_src_pub target to build Makefile.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6731 bbc10eb1-c90d-0410-af57-cb519fbb1720

Makefile

@@ -11,8 +11,14 @@ none:
 # Can be overridden by passing VERSION=xxx
 VERSION = $(shell SRC_DIR=prism/src prism/src/scripts/printversion.sh 2> /dev/null)
 
-# Build a source distribution
-dist_src: add_rev version
+# Build a (development) source distribution
+dist_src: add_rev version do_build
+
+# Build a (public) source distribution
+dist_src_pub: version do_build
+
+# Do the build
+do_build:
 	mkdir dontcopy
 	@if [ -e prism/examples ]; then \
 	  echo "mv prism/examples dontcopy"; mv prism/examples dontcopy; \