Ezio Melotti added the comment: On Linux "make html" seems to use v1.0.7 too, so updating make.bat should be OK. See also #16471. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue17412> _______________________________________