diff --git a/docs/conf.py b/docs/conf.py
index 5e2164ea48..4c0f700804 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 aa17c895aa..47cd2eeb8e 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