docs: add a crude approximation of intersphinx toctrees.
authorwhitequark <whitequark@whitequark.org>
Wed, 1 Jul 2020 08:03:57 +0000 (08:03 +0000)
committerwhitequark <whitequark@whitequark.org>
Wed, 1 Jul 2020 08:03:57 +0000 (08:03 +0000)
commit76c7e70582b5540565482b474242b0ee17a769c9
tree58d30ce489e22c013fec63e3fa57bcee9dedc75a
parent126f0be731ab008657ca1c4fc05ce7cc6e355169
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