docs: add a crude approximation of intersphinx toctrees.

This is a pretty awful hack. We could do this properly after one of
the following issues is fixed:
  * sphinx-doc/sphinx#701
  * sphinx-doc/sphinx#1836

diff --git a/docs/conf.py b/docs/conf.py
index c311e9c780b01ce1579dd90e318f573c2f37a129..eedfa95e29c84a20cd4373079e6abe6dd368656b 100644 (file)
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -19,6 +19,8 @@ extensions = [
 with open(".gitignore") as f:
     exclude_patterns = [line.strip() for line in f.readlines()]
 
+master_doc = "cover"
+
 intersphinx_mapping = {"python": ("https://docs.python.org/3", None)}
 
 todo_include_todos = True

diff --git a/docs/cover.rst b/docs/cover.rst
new file mode 100644 (file)
index 0000000..ced7431
--- /dev/null
+++ b/docs/cover.rst
@@ -0,0 +1,8 @@
+The nMigen documentation
+########################
+
+.. toctree::
+   :maxdepth: 1
+
+   index
+   Board definitions <https://nmigen.info/nmigen-boards/latest/>

diff --git a/docs/index.rst b/docs/index.rst
index badd1f0dacd4eca7f3888963d575700de550f6a8..d1b0a0f21f48d650d3bdc339827abd7bc789ab49 100644 (file)
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -1,5 +1,5 @@
-The nMigen core manual
-######################
+Core language
+#############
 
 .. warning::
 
@@ -12,13 +12,3 @@ The nMigen core manual
    install
    start
    lang
-
-Index
-=====
-
-* :ref:`genindex`
-
-Search
-======
-
-* :ref:`search`