Docs: remove extraneous options from variables index
authorJeremy Harris <jgh146exb@wizmail.org>
Fri, 5 Jan 2018 13:48:08 +0000 (13:48 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Fri, 5 Jan 2018 13:50:38 +0000 (13:50 +0000)
commit3249f1b7dc4893c2b896db3813bc6222d2dc9bef
tree364e90936361d008eb708834f27f67554a81c710
parent2b8b8e4ed5cbebd3884c301d438d72ea24fbfd70
Docs: remove extraneous options from variables index
doc/doc-docbook/spec.xfpt