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