Docs: more indexing
authorJeremy Harris <jgh146exb@wizmail.org>
Tue, 30 Jul 2024 13:12:24 +0000 (14:12 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Tue, 30 Jul 2024 14:12:22 +0000 (15:12 +0100)
commitdfe19a7e04492d26bcb4824faa21e1c28f5d14bc
treeafb2eb605a263c6950abea190ca44ff93cdfd3ae
parent237b2df13410c86663e788be831de721a782525a
Docs: more indexing
doc/doc-docbook/spec.xfpt