Fixes doc/make.bat to properly handle quoted paths. (#3302)

1 file changed