progress

.gitignore

@@ -17,3 +17,5 @@ java_console_binary
 .vscode
 *.cmp
 *.net
+err.txt
+log.txt

misc/jenkins/gen_config_and_push.bat

@@ -0,0 +1,8 @@
+
+
+
+git fetch                                >>    log.txt 2>>   err.txt
+rem git reset --hard origin/master           >>    log.txt 2>>   err.txt
+cd firmware                   
+call gen_config.bat                      >> ../log.txt 2>>../err.txt
+call gen_live_documentation.bat          >> ../log.txt 2>>../err.txt