These documents are generated from reStructuredText sources by Sphinx, a document processor specifically written for the Python documentation.