2024-02-11

2023-10-14 21:06:27 +00:00 · 2023-10-14 21:06:27 +00:00 · d654ae6731
commit d654ae6731
parent 579ff09f0f
29 changed files with 5392 additions and 0 deletions
--- a/26
+++ b/26
@ -0,0 +1,26 @@
+# A Makefile to help building Sphinx documentation.
+# The original Sphinx Makefile is "Makefile-sphinx".
+
+SHELL:=/usr/bin/env bash
+
+.DEFAULT_GOAL := html
+
+.PHONY: html
+html:
+	./bin/build-html.sh
+
+.PHONY: pdf
+pdf:
+	./bin/build-pdf.sh
+
+.PHONY: serve
+serve:
+	./bin/serve.sh
+
+.PHONY: package
+package: html
+	./bin/package.sh
+
+.PHONY: tidy
+tidy:
+	./bin/tidy.sh