Skip to content

Commit 3529d39

Browse files
committed
#17242: fix code highlight. Patch by Berker Peksag.
1 parent 451b741 commit 3529d39

1 file changed

Lines changed: 11 additions & 9 deletions

File tree

docquality.rst

Lines changed: 11 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -72,30 +72,32 @@ makes it harder to break the work up for multiple people to help with.
7272
Helping with the Developer's Guide
7373
----------------------------------
7474

75+
.. highlight:: bash
76+
7577
The Developer's Guide uses the same process as the main Python documentation,
7678
except 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
7880
bug tracker`_ using the ``devguide`` component. Changes to the devguide
7981
are normally published within a day, on a schedule that may be different from
8082
the 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

9395
instead 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

100102
in the checkout directory, which will write the files to the ``_build/html``
101103
directory.

0 commit comments

Comments
 (0)