Doc update

2023-11-06 22:44:21 +01:00
parent cd41a59518
commit 08ff9d58b8
12 changed files with 855 additions and 732 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,9 +1,10 @@
-doc/protocol.aux
-doc/protocol.fdb_latexmk
-doc/protocol.fls
-doc/protocol.log
-doc/protocol.pdf
-doc/protocol.synctex.gz
+doc/*.aux
+doc/*.fdb_latexmk
+doc/*.fls
+doc/*.log
+doc/*.pdf
+doc/*.synctex.gz
+doc/generated
 out/doc/general_deployment/general_deployment.png
 out/doc/server_deployment/server_deployment.png
 *.json