Updated web-site and added deployment script

2021-09-12 11:35:18 +02:00
parent cc9e2a44bf
commit 309692296a
42 changed files with 1733 additions and 44 deletions
--- a/build_web.bat
+++ b/build_web.bat
@@ -1,3 +1,2 @@
@ECHO OFF
 python -m mkdocs build
-pause