Merge pull request #6408 from radarhere/furo

Install furo if it is not available
This commit is contained in:
mergify[bot] 2022-07-01 11:15:34 +00:00 committed by GitHub
commit 79329fb18d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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