- Commit
- f6de5eb2e20454b0bff875d6e78d76bf5c93a86d
- Parent
- 3e6afcb30b9378d3cafc14d8cb2fca2930c244ac
- Author
- John MacFarlane <jgm@berkeley.edu>
- Date
Simplified release archive.
We now simply use git archive (which is also what github would use on their releases page).
This is possible because we now include some generated files in the repository.
The fact is that this is what people are going to use anyway, so instead of testing two different setups (our hand-crafted archive and the git repo), it's better just to use one.