Rename target 'html' to 'docs'

diff --git a/Makefile b/Makefile
index fc9c35e15e9c7a51137b31462f6f1d2616fe1046..c2727fb0d33a39ba1b625ba9a63dffe7afb0887b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ all:
        @echo "Nothing to be done for 'all'"
 
 .PHONY: release
-release: tests flake8 html distr
+release: tests flake8 docs distr
 
 .PHONY: distr
 distr:
@@ -14,8 +14,8 @@ distr:
 flake8:
        flake8
 
-.PHONY: html
-html:
+.PHONY: docs
+docs:
        $(MAKE) -C docs html
 
 .PHONY: test