summaryrefslogtreecommitdiff
path: root/conf.py
diff options
context:
space:
mode:
authorDan Halbert <halbert@halwitz.org>2017-08-23 17:24:38 -0400
committerScott Shawcroft <scott@tannewt.org>2017-08-23 15:28:53 -0700
commitdd1c4fc8c776d060acd9b66865b1f961e939716a (patch)
tree6e09f10b3f074475a1c35b701c3d4054e7669f96 /conf.py
parent774bf0cf0a93083dcaf6f9b2ff01c521cfdee5fd (diff)
Workaround readthedocs bug
Diffstat (limited to 'conf.py')
-rw-r--r--conf.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/conf.py b/conf.py
index 78f37f003..0e4922b31 100644
--- a/conf.py
+++ b/conf.py
@@ -100,6 +100,7 @@ exclude_patterns = ["*/build-*",
"esp8266",
"examples",
"extmod",
+ "frozen",
"lib",
"minimal",
"mpy-cross",