Issue #17386: Expand Doc/make.bat to be much more similar to Doc/Makefile
2 files changed