@echo off bash.exe gen_live_documentation.sh