summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--conf.py1
-rw-r--r--requirements.txt1
2 files changed, 2 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",
diff --git a/requirements.txt b/requirements.txt
new file mode 100644
index 000000000..75df61718
--- /dev/null
+++ b/requirements.txt
@@ -0,0 +1 @@
+# dummy file to work around readthedocs bug: https://github.com/rtfd/readthedocs.org/issues/2855