Pending a transition of PEPs to ReadTheDocs (with HTTPS on a custom domain? and redirects?) (is there a gh issue for this task?),<div>for the pythondotorg project<br><div>is it as simple as `pip install pygments` and rebuilding each .rst with docutils with pygments installed?</div><div><br>On Saturday, December 2, 2017, Mariatta Wijaya <<a href="mailto:mariatta.wijaya@gmail.com">mariatta.wijaya@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra">If we were to add Pygments support, it is to be done in pythondotorg project.</div><div class="gmail_extra"><br></div><div class="gmail_extra">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.</div><div class="gmail_extra"><br></div><div class="gmail_extra"><div><div data-smartmail="gmail_signature">Mariatta Wijaya</div></div>
<br><div class="gmail_quote"><br></div></div></div>
</blockquote></div></div>