Docs: fix option crossref
authorJeremy Harris <jgh146exb@wizmail.org>
Wed, 11 Aug 2021 10:10:59 +0000 (11:10 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Wed, 11 Aug 2021 10:10:59 +0000 (11:10 +0100)
commitbb0b9439253ba4cfe5b77e9033dbac46704d3412
tree3d170c6e6bb1dee578618e95f2e774dca971f1f2
parentb367453a08bff7123dfe0b841de290e17372ad7c
Docs: fix option crossref

Broken-by: adc03e3489
doc/doc-docbook/spec.xfpt