lots of documentation updates

2023-04-12 08:01:57 +00:00
parent 81e70556db
commit 792dd139ca
12 changed files with 221 additions and 49 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -14,6 +14,9 @@ help:

 .PHONY: help Makefile

+install-dependencies:
+	/usr/bin/env python3 -m pip install -r requirements.txt
+
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile