Pending a transition of PEPs to ReadTheDocs (with HTTPS on a custom domain?
and redirects?) (is there a gh issue for this task?),
for the pythondotorg project
is it as simple as `pip install pygments` and rebuilding each .rst with
docutils with pygments installed?
On Saturday, December 2, 2017, Mariatta Wijaya <mariatta.wijaya at gmail.com>
wrote:
> If we were to add Pygments support, it is to be done in pythondotorg
> project.
>> I recalled the decision was to get PEPs rendered using Sphinx and host it
> at Read The Docs, so we don't have to worry about updating pythondotorg.
>> Mariatta Wijaya
>>>-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20171202/bdc5f3ab/attachment.html>
