tools required for docs

2024-01-04 11:47:08 +00:00
parent ef24d1fcb4
commit b8c85cd562
4 changed files with 922 additions and 0 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -0,0 +1,8 @@
+.ONESHELL:
+.DELETE_ON_ERROR:
+export SHELL     := bash
+export SHELLOPTS := pipefail:errexit
+MAKEFLAGS += --warn-undefined-variables
+MAKEFLAGS += --no-builtin-rule
+
+include docs.mk