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