Change back to default make.bat name
We'll need to hook building docs into the main build process at some point, but this is good for now.develop
parent
5ba656bf79
commit
27cee0525c
Loading…
Reference in New Issue