diff -r 88333b633d2d -r bd3278653eaa Makefile
--- a/Makefile	Fri Mar 03 13:36:40 2017 +0200
+++ b/Makefile	Fri Mar 03 13:41:33 2017 +0200
@@ -587,11 +587,11 @@
 ################################################################
 # Documentation targets.
 
-.PHONY: docs
-docs: html
+.PHONY: docs web
+docs web: www
 
-.PHONY: html
-html: $(HTML_FILES)
+.PHONY: www
+www: $(HTML_FILES)
 
 $(INDEX_HTML_FILE): dist/www/README.html
 	cp $< $@