summaryrefslogtreecommitdiff
path: root/RELEASE-CHECKLIST
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2022-08-18 13:18:16 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2022-08-18 13:18:16 -0700
commitb2d875e7483762c9c23bed19c977d53c03642a59 (patch)
treea48b162142c23051715388ad1c0ef6ffd2ef786d /RELEASE-CHECKLIST
parent60f9c8447e13a43ff2965d7682409a567bedb7af (diff)
Update RELEASE_CHECKLIST
Diffstat (limited to 'RELEASE-CHECKLIST')
-rw-r--r--RELEASE-CHECKLIST1
1 files changed, 1 insertions, 0 deletions
diff --git a/RELEASE-CHECKLIST b/RELEASE-CHECKLIST
index 5e5b8c3fa..9c7d521a4 100644
--- a/RELEASE-CHECKLIST
+++ b/RELEASE-CHECKLIST
@@ -17,6 +17,7 @@
git push --tags
[ ] Add release on github (use 'make changes_github' and upload files)
[ ] stack upload .
+[ ] copy deb to server, install it; if trypandoc/ changes, upload them
[ ] if needed, sh tools/build-and-upload-api-docs.sh
[ ] Announce on pandoc-announce, pandoc-discuss