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)
commita5d7b84bd786bd20ceab145c79ce524997175a63
tree7f8eabfbd4339f606be327c7b592e9d6b50cb519
parent90578945a3d6e3a2386a103ecb9d967cbeee087f
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
docs/conf.py
docs/cover.rst [new file with mode: 0644]
docs/index.rst