diff options
| -rw-r--r-- | RELEASE-CHECKLIST | 3 |
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 |