Replace Makefile with a simple script

cours/Makefile

@@ -1,20 +0,0 @@
-# Minimal makefile for Sphinx documentation
-#
-
-# You can set these variables from the command line, and also
-# from the environment for the first two.
-SPHINXOPTS    ?=
-SPHINXBUILD   ?= sphinx-build
-SOURCEDIR     = source
-BUILDDIR      = build
-
-# Put it first so that "make" without argument is like "make help".
-help:
-	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
-
-.PHONY: help Makefile
-
-# Catch-all target: route all unknown targets to Sphinx using the new
-# "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
-%: Makefile
-	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)

cours/build.py

@@ -0,0 +1,16 @@
+import sys
+import subprocess
+
+
+def main():
+    dev = "--dev" in sys.argv
+    if dev:
+        program = "sphinx-autobuild"
+    else:
+        program = "sphinx-build"
+    cmd = [program, "-d", "build", "-b", "html", "source", "build/html"]
+    subprocess.run(cmd, check=True)
+
+
+if __name__ == "__main__":
+    main()