[Makefile] make docs

diff --git a/Makefile b/Makefile
index 6ebbec528ae069411f8c7571046da606ab8b25fb..ec918a87f76b823421ad74519a22a15888adce0a 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