[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).
Python tracker <report at bugs.python.org>
More information about the docs