diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2016-11-08 10:46:27 -0500 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2016-11-08 10:46:27 -0500 |
| commit | cf6903c22b49b2e3efe338a9ccbd0df36b6d0cbf (patch) | |
| tree | aaf8ea35d1f824d6debb322384cab82f0182a181 | |
| parent | d6b1628238e7b58620af4ad002dd3538a20ddea9 (diff) | |
* doc/developer-release.txt: add online manual update to list.
| -rw-r--r-- | doc/developer-release.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/developer-release.txt b/doc/developer-release.txt index 082a8f8..4f77f00 100644 --- a/doc/developer-release.txt +++ b/doc/developer-release.txt @@ -6,5 +6,6 @@ release. 3) Tag release in VCS, for example with `git tag -a 4.2 -m "4.2"' 4) Run make release 5) Run make upload -6) Send announcement email +6) Update online manual 7) Update website +8) Send announcement email |