diff options
author | Robert Lehmann <mail@robertlehmann.de> | 2016-04-05 11:32:16 +0200 |
---|---|---|
committer | Robert Lehmann <mail@robertlehmann.de> | 2016-04-05 11:32:16 +0200 |
commit | ca900593c02f0ac547e37480ff18cf0fa77467a2 (patch) | |
tree | 69978b9489517e65bdd0a4d6b22f40daf3809a3a /doc/markup/code.rst | |
parent | 1313726fd6abf5e41283e6fb88c0e9b3f7836ca2 (diff) | |
download | sphinx-git-ca900593c02f0ac547e37480ff18cf0fa77467a2.tar.gz |
Clear up Pygments is mandatory
While Pygments is not required for other builders, it is *always* used in the HTML builder.
Diffstat (limited to 'doc/markup/code.rst')
-rw-r--r-- | doc/markup/code.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/markup/code.rst b/doc/markup/code.rst index c76726441..6e8028fe4 100644 --- a/doc/markup/code.rst +++ b/doc/markup/code.rst @@ -21,8 +21,8 @@ an "unused" primary prompt; this is an example of what *not* to do:: 2 >>> -Syntax highlighting is done with `Pygments <http://pygments.org>`_ (if it's -installed) and handled in a smart way: +Syntax highlighting is done with `Pygments <http://pygments.org>`_ and handled +in a smart way: * There is a "highlighting language" for each source file. Per default, this is ``'python'`` as the majority of files will have to highlight Python snippets, @@ -77,7 +77,7 @@ installed) and handled in a smart way: Line numbers ^^^^^^^^^^^^ -If installed, Pygments can generate line numbers for code blocks. For +Pygments can generate line numbers for code blocks. For automatically-highlighted blocks (those started by ``::``), line numbers must be switched on in a :rst:dir:`highlight` directive, with the ``linenothreshold`` option:: |