mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2026-09-03 20:52:55 -05:00
This makes the old ``unused_docs``, ``exclude_trees`` and ``exclude_dirnames`` obsolete.
This makes the old ``unused_docs``, ``exclude_trees`` and ``exclude_dirnames`` obsolete.