diff --git a/docs/Makefile.tpl b/docs/Makefile.tpl
index 17b3181..4a90a32 100644
--- a/docs/Makefile.tpl
+++ b/docs/Makefile.tpl
@@ -18,12 +18,12 @@ I18NSPHINXOPTS  = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source
 
 help:
 	@echo "Please use \`make <target>' where <target> is one of"
-	@echo "  html       to make standalone HTML files"
-	@echo "  dirhtml    to make HTML files named index.html in directories"
+	@echo "  html       to make standalone HTML5 files"
+	@echo "  dirhtml    to make HTML5 files named index.html in directories"
 	@echo "  singlehtml to make a single large HTML file"
 	@echo "  pickle     to make pickle files"
 	@echo "  json       to make JSON files"
-	@echo "  htmlhelp   to make HTML files and a HTML help project"
+	@echo "  htmlhelp   to make HTML5 files and a HTML5 help project"
 	@echo "  qthelp     to make HTML files and a qthelp project"
 	@echo "  devhelp    to make HTML files and a Devhelp project"
 	@echo "  epub       to make an epub"