[issue1472] Small bat files to build docs on Windows

[Amaury Forgeot d'Arc]

Amaury Forgeot d'Arc added the comment:

This batch file is a good idea. I have two remarks:
- it assumes that the python program is spelled "python25".
This could be configurable. Something along:
    IF "%PYTHON%"=="" SET PYTHON=python25
Or is there a better way?

- Also, I suggest to insert a
    SETLOCAL
command on the second line of the script, so that the variables set in
the script are restored at the end.

----------
nosy: +amaury.forgeotdarc

__________________________________
Tracker <report at bugs.python.org>
<http://bugs.python.org/issue1472>
__________________________________