[docs] [issue12415] Missing: How to checkout the Doc sources

[Roundup Robot]

Roundup Robot added the comment:

New changeset e0d68c73e351 by Sandro Tosi in branch 'default':
Issue #12415: describe where the documentation files are (patch by Éric Araujo)
http://hg.python.org/devguide/rev/e0d68c73e351

----------
nosy: +python-dev

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