(original) (raw)
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
On Saturday, December 2, 2017, Mariatta Wijaya <mariatta.wijaya@gmail.com> wrote:
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@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