From dd1c4fc8c776d060acd9b66865b1f961e939716a Mon Sep 17 00:00:00 2001
From: Dan Halbert <halbert@halwitz.org>
Date: Wed, 23 Aug 2017 17:24:38 -0400
Subject: [PATCH] Workaround readthedocs bug

---
 conf.py          | 1 +
 requirements.txt | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 requirements.txt

diff --git a/conf.py b/conf.py
index 78f37f003f..0e4922b319 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 0000000000..75df61718c
--- /dev/null
+++ b/requirements.txt
@@ -0,0 +1 @@
+# dummy file to work around readthedocs bug: https://github.com/rtfd/readthedocs.org/issues/2855