diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-06-12 01:18:13 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-06-12 01:18:13 +0300 |
| commit | 91031b60dc974ab76159c9c2e2f0ef5c453f88ee (patch) | |
| tree | 6ebaeaa680892a11d388b7391d0fe4825c3937af /py/objdict.c | |
| parent | f6d01b8b67325ec6c5e48251f042504448b57a7a (diff) | |
| download | micropython-91031b60dc974ab76159c9c2e2f0ef5c453f88ee.tar.gz micropython-91031b60dc974ab76159c9c2e2f0ef5c453f88ee.zip | |
docs/conf.py: Active sphinx_selective_exclude extensions.
For modindex_exclude extension, per-port module excludes are also added.
With these changes, it's possible to generate docs for a particular port
devoid of any superfluous and unrelated content, including in indexes and
full-text search - with small caveat: when generating PDF docs after HTML,
or vice-versa cached internal doctree representation (build/*/doctrees/)
must be removed first.
Diffstat (limited to 'py/objdict.c')
0 files changed, 0 insertions, 0 deletions