From 13a1e1b54c42f588cf4ef44a36aab875afc9eacd Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 17 Jan 2022 21:47:16 -0800
Subject: [PATCH] Add note about api docs to RELEASE_CHECKLIST.

---
 RELEASE-CHECKLIST | 1 +
 1 file changed, 1 insertion(+)

diff --git a/RELEASE-CHECKLIST b/RELEASE-CHECKLIST
index ffb9c92bc..cfb2dc741 100644
--- a/RELEASE-CHECKLIST
+++ b/RELEASE-CHECKLIST
@@ -18,5 +18,6 @@
     git push --tags
 [ ] Add release on github (use 'make changes_github' and upload files)
 [ ] stack upload .
+[ ] if needed, sh tools/build-and-upload-api-docs.sh
 [ ] Announce on pandoc-announce, pandoc-discuss