Added make_docs.bat