On 3/5/19 9:21 AM, Peter Maydell wrote: > sphinx-build complains about using :option: to mark up option > flags that it doesn't know about (because they were not defined > using the "option::" directive): > docs/pr-manager.rst:68: WARNING: unknown option: -d > > Suppress these warnings. This way we get the semantic markup > of the option flag but no cross-referencing hyperlink. > > Signed-off-by: Peter Maydell <[email protected]> > Reviewed-by: Alex Bennée <[email protected]> > Acked-by: Aleksandar Markovic <[email protected]> > Message-id: [email protected] > --- > docs/conf.py | 3 +++ > 1 file changed, 3 insertions(+)
Reviewed-by: Richard Henderson <[email protected]> r~
