From 3a32f852a0b82c964fad00f57abcacbb90bbee7f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 21 Jan 2021 14:16:52 +0100
Subject: Add missing item about PDF manual to release checklist.

---
 dev/doc/release-process.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

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
-- 
cgit v1.2.3