diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-09-27 17:36:04 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-10-01 13:54:32 +1000 |
| commit | d1adfee2510d1e9fda8141e00ca0d96d88da9605 (patch) | |
| tree | f5ed4bc46688432bd3daeb869613a1ab10ad38fb /docs/conf.py | |
| parent | b3e013f60ec0feb5b64bcadb45b154d093731c97 (diff) | |
| download | micropython-d1adfee2510d1e9fda8141e00ca0d96d88da9605.tar.gz micropython-d1adfee2510d1e9fda8141e00ca0d96d88da9605.zip | |
docs: Remove sphinx_selective_exclude, it's no longer used.
Diffstat (limited to 'docs/conf.py')
| -rwxr-xr-x | docs/conf.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docs/conf.py b/docs/conf.py index e85a689030..bb3c999fed 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -50,9 +50,6 @@ extensions = [ 'sphinx.ext.intersphinx', 'sphinx.ext.todo', 'sphinx.ext.coverage', - 'sphinx_selective_exclude.modindex_exclude', - 'sphinx_selective_exclude.eager_only', - 'sphinx_selective_exclude.search_auto_exclude', ] # Add any paths that contain templates here, relative to this directory. |