RELEASING

   1 Notes to myself on all the steps to make for a Ninja release.
   2
   3 1. git checkout release; git merge master
   4 2. fix version number in source (it will likely conflict in the above)
   5 3. fix version in doc/manual.asciidoc
   6 4. grep doc/manual.asciidoc for XXX, fix version references
   7 5. rebuild manual, put in place on website
   8 6. commit, tag, push
   9 7. construct release notes from prior notes
  10    credits: git shortlog -s --no-merges REV..