The `make.bat` file? Isn't this one just for Windows? I use the `Makefile` locally. Also, what about only including the options we need - namely `make html`?