diff options
| author | coqbot-app[bot] | 2021-01-26 10:42:52 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-26 10:42:52 +0000 |
| commit | 14051337936db1f56dc052a6e54e5b606552141b (patch) | |
| tree | 34297481bacc42c31a110ceda19eb4e43061cd0d | |
| parent | cb5e21268ca0da4d26c3ea7e129b1af89d799a8c (diff) | |
| parent | 3a32f852a0b82c964fad00f57abcacbb90bbee7f (diff) | |
Merge PR #13773: Add missing item about PDF manual to release checklist.
Reviewed-by: ejgallego
Reviewed-by: gares
| -rw-r--r-- | dev/doc/release-process.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 19562b60a2..894244044a 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -144,6 +144,7 @@ in time. together with its SHA256 hash in a signed e-mail to `dsi.securite` @ `inria.fr` putting `@maximedenes` in carbon copy. + The MacOS packages should be signed with our own certificate. A detailed step-by-step guide can be found [on the wiki](https://github.com/coq/coq/wiki/SigningReleases). +- [ ] Upload the PDF version of the reference manual to the GitHub release. (*TODO:* automate this.) - [ ] Prepare a page of news on the website with the link to the GitHub release (see [coq/www#63](https://github.com/coq/www/pull/63)). - [ ] Merge the website update, publish the release |