1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# 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
|
