Docs: Build docs

2025-12-08 19:25:01 +00:00 · 2024-05-03 13:06:24 +01:00 · 2024-05-03 13:06:24 +01:00 · 2356f78743
commit 2356f78743
parent b4d9dd0f19
5 changed files with 2861 additions and 821 deletions
--- a/Docs/Configuration.md5
+++ b/Docs/Configuration.md5
@ -1 +1 @@
-8162ab12b8ff7ed9be6aaaa75a837ef7
+8210fca135f6adfade7f26b418e10ab9
--- a/Docs/Configuration.pdf
+++ b/Docs/Configuration.pdf
--- a/Docs/Differences/Differences.pdf
+++ b/Docs/Differences/Differences.pdf
--- a/Docs/Differences/Differences.tex
+++ b/Docs/Differences/Differences.tex
--- a/Docs/Errata/Errata.pdf
+++ b/Docs/Errata/Errata.pdf