[issue2208] Patch to doc/make.bat to allow non-standard HTML Help location

Georg Brandl added the comment: Thanks, applied in r61135. -- nosy: +georg.brandl resolution: -> accepted status: open -> closed __ Tracker <[EMAIL PROTECTED]> __

[issue2208] Patch to doc/make.bat to allow non-standard HTML Help location

Tim Golden added the comment: Corrected patch which replaces the @echo off at the top of the file. Added file: http://bugs.python.org/file9573/doc-make-r61125.patch __ Tracker <[EMAIL PROTECTED]>

[issue2208] Patch to doc/make.bat to allow non-standard HTML Help location

New submission from Tim Golden: The doc/make.bat file for building the docs under Windows assumes the standard location for the HTML Help Workshop. The attached patch looks for an env var called HTMLHELP and uses that if it's set, falling back to the standard location. -- components: Do