From c81206d9933a003abaed7df3f5ccc4b2e8195900 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 3 Nov 2006 13:10:16 +0000
Subject: [PATCH] Makefile typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@111 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/Makefile b/prism/Makefile
index d6bc1edb..7808ce05 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -294,7 +294,7 @@ dist_bin_copy:
 		echo Zipping $$BIN_DIST_DIR_NAME... && \
 		(cd $$BIN_DIST_DIR/..; tar cfz $$BIN_DIST_DIR_NAME.tar.gz $$BIN_DIST_DIR_NAME); \
 	fi
-	# (cd $$BIN_DIST_DIR/..; zip -rq $$BIN_DIST_DIR_NAME.zip $$BIN_DIST_DIR_NAME);
+#	(cd $$BIN_DIST_DIR/..; zip -rq $$BIN_DIST_DIR_NAME.zip $$BIN_DIST_DIR_NAME);
 
 dist_files:
 	@echo Detecting unwanted files...