Docs: fix option name. Bug 2471
authorJasen Betts <jasen@xnet.co.nz>
Tue, 26 Nov 2019 22:35:20 +0000 (22:35 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Tue, 26 Nov 2019 22:38:09 +0000 (22:38 +0000)
commitef5bf13bbc9895614733272a914c1966890d4b3e
tree80af2fd247777d32e02ce9a839751cce3405df46
parentb3317cfaabe29c73478125e14f58236b2229da4b
Docs: fix option name.  Bug 2471

Broken by: 2f680c0c44
doc/doc-docbook/spec.xfpt