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 <[email protected]> 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 > > >
_______________________________________________ Python-Dev mailing list [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
