Add back make.bat for building docs and running doctests on Windows…
#148
| Job | Run time |
|---|---|
| 2m 28s | |
| 2m 28s |
make.bat for building docs and running doctests on Windows…
#148
| Job | Run time |
|---|---|
| 2m 28s | |
| 2m 28s |