You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
assignee='https://github.com/birkenfeld'closed_at=<Date2009-12-30.18:36:17.083>created_at=<Date2009-12-30.17:26:16.891>labels= ['type-bug', 'build', 'docs']
title='Doc: make clean and make update do not delete or update Doc/tools'updated_at=<Date2009-12-30.18:36:17.082>user='https://github.com/florentx'
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)
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
bugs.python.org fields:
The text was updated successfully, but these errors were encountered: