Add make.bat to make docs in windows.
#475
Open
Loading
make.bat to make docs in windows.
#475