Docs: more index entries for header lines
authorJeremy Harris <jgh146exb@wizmail.org>
Tue, 9 Aug 2016 16:46:41 +0000 (17:46 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Tue, 9 Aug 2016 16:46:41 +0000 (17:46 +0100)
commit1e4519cc46416c1c81b9f468ce0ca5b88146037b
treef1065beb3c4e5efe4b0085127e4522d4445cad71
parent860cdda24cec1d6af456cb3406d84e6dc21981f9
Docs: more index entries for header lines
doc/doc-docbook/spec.xfpt