mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
More refactoring, this time allowing different file extensions
and a different master file. Also fix environment warning reporting and improve handling of error conditions.
This commit is contained in: