tweak release-script to generate CONTRIBUTORS

diff --git a/release-script.txt b/release-script.txt
index 8000535d557b4bad9e06c15b1580f70e29c0a331..b1f09dd5953839e85076a72050a4acadefb02ea8 100644 (file)
--- a/release-script.txt
+++ b/release-script.txt
@@ -6,7 +6,10 @@ cat History.txt >> tmp.txt
 mv tmp.txt History.txt
 vi History.txt    # and cleanup
 vi ReleaseNotes   # and add whatever's necessary
-vi www/index.html  # and bump version number
+vi www/index.html # and bump version number
+git rank-contributors -o > CONTRIBUTORS
+vi CONTRIBUTORS   # and merge
+vi www/index.html # and include CONTRIBUTORS
 # ... git add, commit, etc
 git checkout -b release-<releasename>
 vi lib/sup.rb bin/sup # and bump BOTH version numbers