[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>

More information about the docs mailing list