diff options
| -rwxr-xr-x | docs/conf.py | 2 | ||||
| -rw-r--r-- | docs/library/index.rst | 4 |
2 files changed, 2 insertions, 4 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*') diff --git a/docs/library/index.rst b/docs/library/index.rst index aa17c895a..47cd2eeb8 100644 --- a/docs/library/index.rst +++ b/docs/library/index.rst @@ -158,6 +158,6 @@ library. .. toctree:: :maxdepth: 2 - pyb.rst - esp.rst network.rst + esp.rst + machine.rst |