[issue18384] Add devhelp build instructions to the documentation makefile

Berker Peksag added the comment: I think we should avoid adding distro specific tools into CPython repository (and the another reason to reject this is that the other distros will probably want to add their tools). -- nosy: +berker.peksag resolution: -> rejected stage: patch review ->

[issue18384] Add devhelp build instructions to the documentation makefile

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

[issue18384] Add devhelp build instructions to the documentation makefile

Changes by Balthazar Rouberol : -- title: Add devhelp build instructions to the documentation makefile (Python3) -> Add devhelp build instructions to the documentation makefile versions: +Python 2.7 Added file: http://bugs.python.org/file30826/devhelp-build-py2.patch __

[issue18384] Add devhelp build instructions to the documentation makefile (Python3)

Changes by Balthazar Rouberol : -- title: Add devhelp build instructions to the documentation makefile -> Add devhelp build instructions to the documentation makefile (Python3) ___ Python tracker _

[issue18384] Add devhelp build instructions to the documentation makefile

Changes by Balthazar Rouberol : Added file: http://bugs.python.org/file30824/devhelp-build-py3.patch ___ Python tracker ___ ___ Python-bugs-li

[issue18384] Add devhelp build instructions to the documentation makefile

Changes by Balthazar Rouberol : Removed file: http://bugs.python.org/file30823/devhelp-build-py3.patch ___ Python tracker ___ ___ Python-bugs-

[issue18384] Add devhelp build instructions to the documentation makefile

Changes by Ezio Melotti : -- nosy: +georg.brandl stage: -> patch review versions: +Python 3.4 -Python 3.5 ___ Python tracker ___ ___

[issue18384] Add devhelp build instructions to the documentation makefile

New submission from Balthazar Rouberol: The documentation makefile is missing support for Devhelp. The supplied patch fixes this for the Python 3 branch. It also edits the ouput of the sphinx build to change the name of the devhelp project. This is needed to be able to have both versions of do