Docs: more indexing
authorJeremy Harris <jgh146exb@wizmail.org>
Mon, 8 Jul 2019 15:39:46 +0000 (16:39 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Mon, 8 Jul 2019 15:39:46 +0000 (16:39 +0100)
commit0cf7a94143a3ff40057ce90b0b23ece76046e188
tree138a5d3e5480e06f3ccb831f29c1fad4143117e8
parent275dd1deb9b22da56d0d20cec505387a5b9d2070
Docs: more indexing
doc/doc-docbook/spec.xfpt