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