From d32cbb228b3bc099eabf43652603eb183561465b 2010-01-10 18:01:24
From: Fernando Perez <Fernando.Perez@berkeley.edu>
Date: 2010-01-10 18:01:24
Subject: [PATCH] Update release tool to always produce zip file.

---

diff --git a/tools/build_release b/tools/build_release
index 45d6c4c..6ecee50 100755
--- a/tools/build_release
+++ b/tools/build_release
@@ -19,7 +19,7 @@ for d in ['build','dist',pjoin('docs','build'),pjoin('docs','dist')]:
         remove_tree(d)
 
 # Build source and binary distros
-c('./setup.py sdist --formats=gztar')
+c('./setup.py sdist --formats=gztar,zip')
 
 # Build version-specific RPMs, where we must use the --python option to ensure
 # that the resulting RPM is really built with the requested python version (so