diff options
| author | Enrico Tassi | 2020-12-07 17:42:06 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-07 17:42:06 +0100 |
| commit | 39b4eb98d529e8f08f18b4007a13416902c7ec26 (patch) | |
| tree | 73ab6c87ec4d02795cb956ff6459620dd6da753a | |
| parent | 9d878c3f830eb5e5e31726c3b5580a7a724ecfab (diff) | |
[rm] manual is uploaded by CI
| -rw-r--r-- | dev/doc/release-process.md | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 833879548a..20f2c7df07 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -147,8 +147,6 @@ in time. to `@maximedenes`. A detailed step-by-step guide can be found [on the wiki](https://github.com/coq/coq/wiki/SigningReleases). - [ ] 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)). -- [ ] Upload the new version of the reference manual to the website. - *TODO: setup some continuous deployment for this.* - [ ] Merge the website update, publish the release and send announcement e-mails. - [ ] Close the milestone |