Add make docs commands for html build

2026-02-09 18:31:14 +01:00
parent 7a9ab20b89
commit 74fbbd369b
12 changed files with 255 additions and 65 deletions
@@ -0,0 +1,19 @@
+# Minimal makefile for Sphinx documentation
+SHELL := /bin/sh
+
+SPHINXOPTS ?=
+SPHINXBUILD ?= sphinx-build
+SOURCEDIR = source
+BUILDDIR = build
+
+.PHONY: help clean html
+
+help:
+	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS)
+
+clean:
+	rm -rf "$(BUILDDIR)"
+
+html:
+	$(SPHINXBUILD) -b html "$(SOURCEDIR)" "$(BUILDDIR)/html" $(SPHINXOPTS)
+	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."