diff options
author | Alejandro Gallo <aamsgallo@gmail.com> | 2019-10-21 11:41:50 +0200 |
---|---|---|
committer | Alejandro Gallo <aamsgallo@gmail.com> | 2019-10-21 11:41:50 +0200 |
commit | b26250949f9ece0a1d0c013063f400e959fcfe21 (patch) | |
tree | 38248a79a4159d746359be24a5fb7f9b847f177b | |
parent | 3dcf53a7c7f099dce6d1375b0896891a1c516698 (diff) |
Fix makefilesv0.9
-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 |