![](https://secure.gravatar.com/avatar/01aa7d6d4db83982a2f6dd363d0ee0f3.jpg?s=120&d=mm&r=g)
This looks great Adam, +1 One thing I’m pining for is a dark mode theme to PEPs. I know that’s outside the scope of this PEP, but if you’re building a custom theme anyway, maybe you can consider it. Whether in this PEP or not, the design and implementation of the new system should be fully documented, so that others can help debug and enhance it. Also, the process for local builds should be documented. I see the Discourse discussion mentioned hosting on RTD. If that’s been rejected, it should be noted in the Rejected Ideas section. I’ll miss the RTD preview feature, but I think PEPs are simple and regular enough that a good local build environment can suffice for now. Cheers, -Barry
On Jan 10, 2022, at 02:44, python@quite.org.uk wrote:
Hi,
I would like to announce PEP 676 to python-dev. It is a meta-PEP focussed on modernising the PEP build infrastructure. From the abstract, "This PEP addresses the infrastructure around rendering PEP files from reStructuredText files to HTML webpages. We aim to specify a self-contained and maintainable solution for PEP readers, authors, and editors."
Link: https://www.python.org/dev/peps/pep-0676/ Rendered through the PEP 676 system: https://python.github.io/peps/pep-0676/
Please see https://discuss.python.org/t/10774 for prior discussion and to give any feedback.
Thanks,
Adam Turner _______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-leave@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/C675PLAF... Code of Conduct: http://python.org/psf/codeofconduct/