diff options
Diffstat (limited to 'docs/conf.py')
| -rwxr-xr-x | docs/conf.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/conf.py b/docs/conf.py index 5e2164ea4..4c0f70080 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -317,5 +317,3 @@ exclude_patterns.extend([port + '*' for port in ports if port != micropy_port]) # Exclude pyb module if the port is the WiPy if micropy_port == 'wipy': exclude_patterns.append('library/pyb*') -else: # exclude machine - exclude_patterns.append('library/machine*') |