@@ -72,30 +72,32 @@ makes it harder to break the work up for multiple people to help with.
7272Helping with the Developer's Guide
7373----------------------------------
7474
75+ .. highlight :: bash
76+
7577The Developer's Guide uses the same process as the main Python documentation,
7678except for some small differences. The source lives in a `separate
77- repository `_. Bug reports and patches should be submitted to the `python
79+ repository `_. Bug reports and patches should be submitted to the `Python
7880bug tracker `_ using the ``devguide `` component. Changes to the devguide
7981are normally published within a day, on a schedule that may be different from
8082the main documentation.
8183
8284.. _separate repository : http://hg.python.org/devguide
83- .. _ python bug tracker : http://bugs.python.org
85+ .. _ Python bug tracker : http://bugs.python.org
8486
85- To clone the Developer's Guide:
87+ To clone the Developer's Guide::
8688
87- `` hg clone http://hg.python.org/devguide ``
89+ $ hg clone http://hg.python.org/devguide
8890
89- Core developers should use:
91+ Core developers should use::
9092
91- `` hg clone ssh://hg@hg.python.org/devguide ``
93+ $ hg clone ssh://hg@hg.python.org/devguide
9294
9395instead so that they can push back their edits to the server.
9496
95- To build the devguide, you must have `Sphinx `_ installed. The devguide html
96- can be built by running:
97+ To build the devguide, you must have `Sphinx `_ installed. The devguide HTML
98+ can be built by running::
9799
98- make html
100+ $ make html
99101
100102in the checkout directory, which will write the files to the ``_build/html ``
101103directory.
0 commit comments