From ca900593c02f0ac547e37480ff18cf0fa77467a2 Mon Sep 17 00:00:00 2001 From: Robert Lehmann Date: Tue, 5 Apr 2016 11:32:16 +0200 Subject: [PATCH] Clear up Pygments is mandatory While Pygments is not required for other builders, it is *always* used in the HTML builder. --- doc/markup/code.rst | 6 +++--- 1 file 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 `_ (if it's -installed) and handled in a smart way: +Syntax highlighting is done with `Pygments `_ 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::