summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2022-08-22 12:27:23 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2022-08-22 12:27:23 -0700
commit33be7fcd9c12e6826580ddd7181ddf7222894163 (patch)
tree863b784c0b21afe4494285af246155a70fe168f5
parent3bfd682fbe254380382d7f77fa4037bbe0775ade (diff)
Update RELEASE_CHECKLIST
-rw-r--r--RELEASE-CHECKLIST3
1 files changed, 2 insertions, 1 deletions
diff --git a/RELEASE-CHECKLIST b/RELEASE-CHECKLIST
index 2ba7fb2e3..7b05731dd 100644
--- a/RELEASE-CHECKLIST
+++ b/RELEASE-CHECKLIST
@@ -16,7 +16,8 @@
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
+[ ] copy deb to server, install it
+[ ] cd trypandoc; make upload
[ ] if needed, sh tools/build-and-upload-api-docs.sh
[ ] Announce on pandoc-announce, pandoc-discuss