From 4ca99f74545182b5184fa16ab69db9cbf0fb7d3e Mon Sep 17 00:00:00 2001 From: Andrew Murray Date: Fri, 1 Jul 2022 19:51:29 +1000 Subject: [PATCH] Install furo if it is not available --- docs/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/Makefile b/docs/Makefile index 0d352302f93..309fc4458e0 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -43,6 +43,7 @@ clean: install-sphinx: python3 -c "import sphinx" > /dev/null 2>&1 || python3 -m pip install sphinx + python3 -c "import furo" > /dev/null 2>&1 || python3 -m pip install furo html: $(MAKE) install-sphinx