Add note about api docs to RELEASE_CHECKLIST.

This commit is contained in:
John MacFarlane 2022-01-17 21:47:16 -08:00
parent d2a9562554
commit 13a1e1b54c

View file

@ -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