Makefile: release checklist: Add entry for publishing docs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/Makefile b/Makefile
index 57c2a10331efba34cd26bec258ee5dcb3adc7798..854eaca2754b528e92df6ce2aaee9edbced73609 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -101,6 +101,7 @@ very-clean: clean
 #
 #   # merge into main, git push
 #   release-rust-crate VERSION
+#   make publish publish-make-current PUBLISH_VERSION=1.1.1
 #   dgit -wgf push-source sid
 
 #---------- docs publication ----------