Docs: more indexing
authorJeremy Harris <jgh146exb@wizmail.org>
Thu, 22 Sep 2022 12:11:41 +0000 (13:11 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Thu, 22 Sep 2022 12:11:41 +0000 (13:11 +0100)
commitde768ba0626a60f094593c6e43fc808fe0e898b7
tree1a0666ab51fdc37829643e4afacecca2134039e1
parent04644f4ca7c85d5e4dff1bd9e48b3429130e4fdd
Docs: more indexing
doc/doc-docbook/spec.xfpt