[Python-Dev] Pygments in PEPs?

[Ivan Levkivskyi]

On 9 September 2017 at 00:14, Antoine Pitrou <solipsis at pitrou.net> wrote:

> 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?
>

Just for the reference here is the PR
https://github.com/python/pythondotorg/pull/1063
It is indeed quite simple. Unfortunately, right now (and next one-two weeks)
I will be not able to work on this PR if any additional changes will be
needed.
But I will be happy if someone will continue with this (temporary) solution.

--
Ivan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20170909/1381fa6e/attachment.html>