HACKING.md

Release procedure

• update VERSION
• Documentation
  • Make sure the doc is up to date (See Documentation generation)
  • In the wikidoc branch, copy dev to VERSION
• dune-release tag $(cat VERSION)
• dune-release distrib
• DUNE_RELEASE_DELEGATE=github-dune-release-delegate dune-release publish distrib
• dune-release opam pkg
• dune-release opam submit

Documentation generation

• make doc
• make installdoc
• cd _wikidoc
• git diff # review diff
• git commit -am "sync doc"
• git push origin wikidoc

Ignore reformating commit in git blame

• git config blame.ignoreRevsFile .git-blame-ignore-revs