From 1173e093fa28cbaf844260aa81cc040baf86fdde Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 11 Dec 2020 12:15:59 +0100
Subject: Document the manual tasks that I need to do at each release.

---
 dev/doc/release-process.md | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md
index 39ad7f3b8f..19562b60a2 100644
--- a/dev/doc/release-process.md
+++ b/dev/doc/release-process.md
@@ -171,7 +171,19 @@ Repeat the generic process documented above for all releases.
 Ping `@Zimmi48` to:
 
 - [ ] Switch the default version of the reference manual on the website.
-- [ ] Publish a new version on Zenodo.
+
+  This is done by logging into the server (`vps697916.ovh.net`),
+  editing two `ProxyPass` lines (one for the refman and one for the
+  stdlib doc) with `sudo vim /etc/apache2/sites-available/000-coq.inria.fr.conf`,
+  then running `sudo systemctl reload apache2`.
+
+  *TODO:* automate this or make it doable through the `www` git
+  repository. See [coq/www#111](https://github.com/coq/www/issues/111)
+  and [coq/www#131](https://github.com/coq/www/issues/131).
+
+- [ ] Publish a new version on Zenodo (only once per major version).
+
+  *TODO:* automate this with coqbot.
 
 ## At the patch-level release time ##
 
-- 
cgit v1.2.3