[issue7602] Doc: make clean and make update do not delete or update Doc/tools

Georg Brandl added the comment: Fixed in r77152. -- resolution: -> fixed status: open -> closed ___ Python tracker ___ ___ Python-bug

[issue7602] Doc: make clean and make update do not delete or update Doc/tools

New submission from Florent Xicluna : In the Doc/ directory, the "make ..." commands do not behave as expected. *make clean* It should remove all tools in "tools" directory: docutils, jinja2, pygments, sphinx. Currently it removes only "tools/sphinx" *make update* It is supposed to "update the