diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2020-03-06 17:17:49 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2020-03-12 11:14:06 +0000 |
| commit | 3290e12d6c0297c5c24ac576e680bb431356d156 (patch) | |
| tree | be08e3eba2c424d6058c52d481f225fb2c8108c1 | |
| parent | b29a59fb66b79e19f650b28b52aa017b8d8ab5c3 (diff) | |
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.inc | 4 |
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. |