Issue #21289: Fix documentation building on Windows using Doc/make.bat.

Also fixes a long-standing typo in Doc/README.txt.

Initial patch by Dave Sawyer.