Use centralized make-docs script for building documentation

jdbaldry · jdbaldry · commit f11a4b8f5a86 · 2023-04-03T15:33:02.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -78,4 +78,7 @@ yarn-error.log
 
 .vscode/snipsnap.code-snippets
 output 
-.obsidian
+.obsidian
+
+# make-docs script fetched from GitHub.
+docs/make-docs
