Docs: Typo, make long option name searchable.
authorHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Thu, 10 Sep 2015 20:01:53 +0000 (22:01 +0200)
committerHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Thu, 10 Sep 2015 20:01:53 +0000 (22:01 +0200)
commitdc211a517b7ba61089518376c27a3087c72fb143
tree4f7ff11598e5b2442ae04087dae38d32993a839b
parent895fbaf26d3450d4eeacbad8fe04c328a77645f0
Docs: Typo, make long option name searchable.

This is related to Bug 1197 and was fixed there for another
long option.
doc/doc-docbook/spec.xfpt