diff options
-rw-r--r-- | Makefile | 4 | ||||
-rw-r--r-- | doc/Makefile | 3 |
2 files changed, 2 insertions, 5 deletions
@@ -281,10 +281,10 @@ lint: ## Check syntax of sources doc: ## Create documentation - make -C doc/ html + $(MAKE) -C doc/ html doc-%: - make -C doc/ $* + $(MAKE) -C doc/ $* update-gh-pages: ## Update github pages @echo "Warning: Black magic in action" diff --git a/doc/Makefile b/doc/Makefile index 1537c7dc..a584ede6 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,2 @@ include sphinx.mk -ifdef ENV -SPHINXBUILD = ../env/bin/sphinx-build -endif |