From 5e2b161379420acd39e0474bb7f59545df7e1f3a Mon Sep 17 00:00:00 2001 From: Markus Heiser Date: Sun, 29 Mar 2020 16:46:07 +0200 Subject: Makefile: marginal fix Signed-off-by: Markus Heiser --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 3c1bbdc66..60d31690c 100644 --- a/Makefile +++ b/Makefile @@ -79,7 +79,7 @@ PHONY += docs docs: pyenvinstall sphinx-doc prebuild-includes $(call cmd,sphinx,html,docs,docs) -PHONY += docs-live +PHONY += docs-live prebuild-includes docs-live: pyenvinstall sphinx-live prebuild-includes $(call cmd,sphinx_autobuild,html,docs,docs) -- cgit v1.2.3