# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1488541293 -7200
# Node ID bd3278653eaadac18ae370b7fb4b593c33fcb3d3
# Parent  88333b633d2d3a658345005a91c021240c03bb0d
'html' target will be used for other purpose.

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