docs: Generate a separate docs build for each port.

Using Damien's approach where conf.py and topindex.html are
shared by all ports.

1 files changed, 17 insertions, 8 deletions

diff --git a/docs/contents.rst b/docs/contents.rst
index e5d3ad329..b35e80d85 100644
--- a/docs/contents.rst
+++ b/docs/contents.rst
@@ -1,11 +1,20 @@
 Micro Python documentation contents
 ===================================
 
-.. toctree::
-
-   quickref.rst
-   general.rst
-   tutorial/index.rst
-   library/index.rst
-   hardware/index.rst
-   license.rst
+.. only:: port_pyboard
+
+    .. toctree::
+
+        pyboard/quickref.rst
+        pyboard/general.rst
+        pyboard/tutorial/index.rst
+        library/index.rst
+        pyboard/hardware/index.rst
+        license.rst
+
+.. only:: port_esp8266
+
+    .. toctree::
+
+        library/index.rst
+        license.rst