Get rid of the old release-edits script and create make_release.py
authorNathan Binkert <binkertn@umich.edu>
Fri, 1 Dec 2006 04:50:47 +0000 (20:50 -0800)
committerNathan Binkert <binkertn@umich.edu>
Fri, 1 Dec 2006 04:50:47 +0000 (20:50 -0800)
commit6e885ec9ba3faeb83971e1a0b0042c1103f1ffaf
treef93569cb7d4638969ebf5facfc6f0dd4d6a6c94c
parentec3dacc66496206544467116177a2e3934cc394f
Get rid of the old release-edits script and create make_release.py
which takes care of almost everything needed for putting together
a release.

--HG--
extra : convert_revision : b05d418a1002633b1286591eb8a8588ba33f5df1
util/make_release.py [new file with mode: 0755]