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

[Florent Xicluna]

New submission from Florent Xicluna <laxyf at yahoo.fr>:

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 Subversion checkouts in `tools/`".
Basically, it does "svn update" for each 4 external tools.
But it is pointless, since these directory are sticked to tag versions.
IMHO, it should be an alias for:
"make clean && make checkout" (if *make clean* is fixed)

----------
assignee: georg.brandl
components: Build, Documentation
messages: 97046
nosy: flox, georg.brandl
severity: normal
status: open
title: Doc: make clean and make update do not delete or update Doc/tools
type: behavior
versions: Python 2.6, Python 2.7, Python 3.1, Python 3.2

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue7602>
_______________________________________