diff --git a/auto.bat b/auto.bat new file mode 100644 index 000000000000..9b9b05e72935 --- /dev/null +++ b/auto.bat @@ -0,0 +1,4 @@ +:loop +CALL make html +timeout /t 2 /nobreak +goto loop \ No newline at end of file