On Fri, 8 Sep 2017 16:59:57 +0200 Ivan Levkivskyi <levkivs...@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. _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
