Build docs using sphinx-build directly instead of make.

Author: lemon24

docs/Makefile

@@ -79,7 +79,7 @@ function typing {
 
 
 function docs {
-    make -C docs html SPHINXOPTS="-W" "$@"
+    sphinx-build -E -W docs docs/_build/html "$@"
 }
 
 
@@ -93,8 +93,8 @@ function typing-dev {
 }
 
 function docs-dev {
-    make -C docs clean
-    entr-project-files -cdr "$SCRIPT" docs "$@"
+    rm -r docs/_build/html
+    entr-project-files -cdr sphinx-build -W docs docs/_build/html "$@"
 }
 
 function serve-dev {

docs/make.bat

@@ -32,4 +32,4 @@ commands = mypy
 
 [testenv:docs]
 dependency_groups = docs
-commands = sphinx-build -W -b html -d {envtmpdir}/doctrees docs {envtmpdir}/html
+commands = sphinx-build -E -W docs docs/_build/html