builder: Stage both HTML and PDF release notes.

peter-b · peter-b · commit 55d6e52abfaa · 2016-04-05T23:16:28.000+01:00
It's more convenient to review release notes from a browser if they're
in HTML format.
diff --git a/buildbot.mk b/buildbot.mk
@@ -228,6 +228,7 @@ dist-upload-files.txt sha1sum.txt:
 	  > dist-upload-files.txt; \
 	if test "${UPLOAD_RELEASE_NOTES}" = "yes"; then \
 		find . -maxdepth 1 -name 'LiveCodeNotes*.pdf' >> dist-upload-files.txt; \
+		find . -maxdepth 1 -name 'LiveCodeNotes*.html' >> dist-upload-file; \
 	fi; \
 	if test "$(UPLOAD_ENABLE_CHECKSUM)" = "yes"; then \
 	  $(SHA1SUM) < dist-upload-files.txt > sha1sum.txt; \
