diff options
author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-07-01 20:01:05 +0300 |
---|---|---|
committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-07-01 20:01:05 +0300 |
commit | ef47dee4bfacaaff507775b7d4739a7901e8d352 (patch) | |
tree | 66e83ac319d1e0bb2147f6096678675f4178f6c0 | |
parent | e334b6b6d21ee0d92a4c91812f7ede05d1d0b447 (diff) | |
download | micropython-ef47dee4bfacaaff507775b7d4739a7901e8d352.tar.gz micropython-ef47dee4bfacaaff507775b7d4739a7901e8d352.zip |
docs/conf.py: Add .venv dir to exclude_patterns.
It's useful to try different Sphinx versions using virtualenv/venv, so
exclude a common venv dir name from Sphinx processing.
-rwxr-xr-x | docs/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 0f70417eb7..2b20d47ab3 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -113,7 +113,7 @@ release = '1.9.1' # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. -exclude_patterns = ['build'] +exclude_patterns = ['build', '.venv'] # The reST default role (used for this markup: `text`) to use for all # documents. |