improve html docs

Subject: improve html docs

Date: Fri, 1 Jul 2022 06:58:57 -0300



From: David Bremner

The main difference between the html docs and the man/info pages is
the existence of an index page (this might be possible to control for
the info pages as well, if someone was motivated). This series makes a
few small improvements in the index page, most notably tricking
sphinx-doc into adding links for nmbug and notmuch-setup. Sphinx
mostly feels pretty strongly that a given page should appear only once
in a toctree, but it _seems_ to be ok to have them in seperate
toctrees that just get smooshed together.

notmuch mailing list --
To unsubscribe send an email to