Re: [Qemu-devel] [PATCH 07/11] docs/conf.py: Disable option warnings

2019-02-01 Thread Alex Bennée
Peter Maydell writes: > 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 seman

[Qemu-devel] [PATCH 07/11] docs/conf.py: Disable option warnings

2019-02-01 Thread Peter Maydell
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