build docs too

Nico-Duduf · Nico-Duduf · commit 4be9fdc6609a · 2022-04-26T10:42:22.000+02:00
diff --git a/tools/build.bat b/tools/build.bat
@@ -2,6 +2,14 @@ cd ..
 del /s /q docs
 rmdir /s /q docs
 mkdir docs
+cd DuGR_Docs
+cd src
+mkdocs build
+cd ..
+cd docs
+echo dugr.rxlab.guide > "CNAME"
+cd ..
+cd ..
 cd tools
 mkdir output
 DuBuilder ..\Dugr.jsx output\DuGR.jsx
