scripts for building documentation on docs.python.org - View it on GitHub