[Makefile] make docs

diff --git a/Makefile b/Makefile
index fc9c35e15e9c7a51137b31462f6f1d2616fe1046..793b00c05d5d12eccb7a397c27edc56e047dbdc0 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,6 +14,9 @@ distr:
 flake8:
        flake8
 
+.PHONY: docs
+docs: html
+
 .PHONY: html
 html:
        $(MAKE) -C docs html