docs/qemu-option-trace.rst.inc: Remove redundant comment
authorPeter Maydell <peter.maydell@linaro.org>
Fri, 6 Mar 2020 17:17:49 +0000 (17:17 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Thu, 12 Mar 2020 11:14:06 +0000 (11:14 +0000)
commit3290e12d6c0297c5c24ac576e680bb431356d156
treebe08e3eba2c424d6058c52d481f225fb2c8108c1
parentb29a59fb66b79e19f650b28b52aa017b8d8ab5c3
docs/qemu-option-trace.rst.inc: Remove redundant comment

The Texinfo version of the tracing options documentation has now
been deleted, so we can remove the now-redundant comment at the top
of the rST version that was reminding us that the two should be
kept in sync.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20200306171749.10756-8-peter.maydell@linaro.org
docs/qemu-option-trace.rst.inc