Change Makefile target name

diff --git a/Makefile b/Makefile
index 9a8f3baac8383ed13621f97d7949130261219771..f6524101046caabb18450882d9cdb87a73d937c7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3,8 +3,8 @@
 all:
        @echo "Nothing to be done for 'all'"
 
-.PHONY: htmldoc
-htmldoc:
+.PHONY: html
+html:
        $(MAKE) -C docs html
        $(MAKE) -C docs-ru html