[docs] [issue18384] Add devhelp build instructions to the documentation makefile
R. David Murray
report at bugs.python.org
Tue Jul 9 16:00:06 CEST 2013
R. David Murray added the comment:
I'm not sure that this belongs in core, but I'll certainly defer to Georg on that :). If it does go in, the help string should explain what 'devhelp' does, since it isn't obvious from the name (for a non-GNOME user...I had to google it).
----------
nosy: +r.david.murray
_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue18384>
_______________________________________
More information about the docs
mailing list