diff options
| author | Quentin Young <qlyoung@cumulusnetworks.com> | 2018-07-30 18:58:38 +0000 |
|---|---|---|
| committer | Quentin Young <qlyoung@cumulusnetworks.com> | 2018-07-30 18:58:38 +0000 |
| commit | a4a2a47555b8324844a04553567b128aaa2931d1 (patch) | |
| tree | 8109d4082e32bb045c0e546ab458dd7a19e49372 /lib/workqueue.c | |
| parent | 379064db769589abbc5cd8369b9b94b1fd040677 (diff) | |
doc: remove unknown option role from rpki.rst
Options must be documented before they can be cross-referenced, and the
scope for configure options is not present in rpki.rst. Remove the
option role tag from the `-M` option to remove the build warning.
Signed-off-by: Quentin Young <qlyoung@cumulusnetworks.com>
Diffstat (limited to 'lib/workqueue.c')
0 files changed, 0 insertions, 0 deletions