-
Committer:
Martin Pool
-
Date:
2009-03-19 03:50:48 UTC
-
mto:
(4070.11.9 249908-doc-generate)
-
mto:
This revision was merged to the branch mainline in
revision
4464.
-
Revision ID:
mbp@sourcefrog.net-20090319035048-7wt3hf2w2rfu97l0
Move generate_docs.py from the root directory into tools.
Cleaner, and avoids people thinking they should run this when they want
'make html-docs'.