aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Maydell <peter.maydell@linaro.org>2020-03-06 17:17:49 +0000
committerPeter Maydell <peter.maydell@linaro.org>2020-03-12 11:14:06 +0000
commit3290e12d6c0297c5c24ac576e680bb431356d156 (patch)
treebe08e3eba2c424d6058c52d481f225fb2c8108c1
parentb29a59fb66b79e19f650b28b52aa017b8d8ab5c3 (diff)
downloadqemu-arm-3290e12d6c0297c5c24ac576e680bb431356d156.tar.gz
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
-rw-r--r--docs/qemu-option-trace.rst.inc4
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/qemu-option-trace.rst.inc b/docs/qemu-option-trace.rst.inc
index 23cfcb4853..7e09773a9c 100644
--- a/docs/qemu-option-trace.rst.inc
+++ b/docs/qemu-option-trace.rst.inc
@@ -1,7 +1,3 @@
-..
- The contents of this file must be kept in sync with qemu-option-trace.texi
- until all the users of the texi file have been converted to rst and
- the texi file can be removed.
Specify tracing options.