[Python-Dev] Pygments in PEPs?

[Antoine Pitrou]

On Fri, 8 Sep 2017 16:59:57 +0200
Ivan Levkivskyi <levkivskyi at gmail.com> wrote:

> I already made a PR that would highlight code in PEPs half-year ago, but it
> was rejected with the reason that they will be moved to RtD soon.

Perhaps we can revive that PR?  Browsing through old peps PRs, I can
see that other people were already bitten by the lack of pygments.

(more generally, it would be nice to build the PEPs with Sphinx so as to
get the whole gamut of useful markup that comes with it, but I guess
that's much more involved than a simple "pip install pygments" inside
the build environment)

Regards

Antoine.