]> git.puffer.fish Git - matthieu/frr.git/commit
projects / matthieu / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 379064d) | patch
doc: remove unknown option role from rpki.rst
authorQuentin Young <qlyoung@cumulusnetworks.com>
Mon, 30 Jul 2018 18:58:38 +0000 (18:58 +0000)
committerQuentin Young <qlyoung@cumulusnetworks.com>
Mon, 30 Jul 2018 18:58:38 +0000 (18:58 +0000)
commita4a2a47555b8324844a04553567b128aaa2931d1
tree8109d4082e32bb045c0e546ab458dd7a19e49372tree | snapshot
parent379064db769589abbc5cd8369b9b94b1fd040677commit | 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>
doc/user/rpki.rst diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.