Idris-dev/RELEASE-CHECKS.md

# Release Checks

Things to be checked, or done before a release is made.

## Final Checks

+ [ ] Do the tests run to completion?
+ [ ] Can samples build?
+ [ ] Is `man/idris.1` up-to-date?

## Version Numbers

+ [ ] `man/idris.1`.
+ [ ] `docs/conf.py`.
+ [ ] `docs/listing/idris-prompt-helloworld.txt`.
+ [ ] `docs/listing/idris-prompt-interp.txt`.
+ [ ] `docs/listing/idris-prompt-start.txt`.
+ [ ] `idris.cabal`.

## Tag Release

+ [ ] Finalise and check `CHANGELOG.md`.
+ [ ] Tag the release.

## Uploads

+ [ ] Push to GITHUB.
+ [ ] Upload to Hackage.
+ [ ] Upload package documentation to web site

## Binaries

+ [ ] Generate Mac OS X Package.
+ [ ] Prompt helpers to create:
  + [ ] Windows Binary.
  + [ ] HomeBrew Package.

## Announcements

+ [ ] Update website.
  + [ ] Update web site with SHA256 hash of binary
+ [ ] Email Mailing list.
+ [ ] Make REDDIT post.
+ [ ] Tweet