diff options
| author | Dan Halbert <halbert@halwitz.org> | 2017-08-23 17:24:38 -0400 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2017-08-23 15:28:53 -0700 |
| commit | dd1c4fc8c776d060acd9b66865b1f961e939716a (patch) | |
| tree | 6e09f10b3f074475a1c35b701c3d4054e7669f96 | |
| parent | 774bf0cf0a93083dcaf6f9b2ff01c521cfdee5fd (diff) | |
Workaround readthedocs bug
| -rw-r--r-- | conf.py | 1 | ||||
| -rw-r--r-- | requirements.txt | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -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 |