docs: add a crude approximation of intersphinx toctrees.
authorwhitequark <whitequark@whitequark.org>
Wed, 1 Jul 2020 08:03:57 +0000 (08:03 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 31 Dec 2021 14:33:48 +0000 (14:33 +0000)
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

docs/conf.py
docs/cover.rst [new file with mode: 0644]
docs/index.rst

index c311e9c780b01ce1579dd90e318f573c2f37a129..eedfa95e29c84a20cd4373079e6abe6dd368656b 100644 (file)
@@ -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
@@ -0,0 +1,8 @@
+The nMigen documentation
+########################
+
+.. toctree::
+   :maxdepth: 1
+
+   index
+   Board definitions <https://nmigen.info/nmigen-boards/latest/>
index badd1f0dacd4eca7f3888963d575700de550f6a8..d1b0a0f21f48d650d3bdc339827abd7bc789ab49 100644 (file)
@@ -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`