Merge PR #10929: documentation fixes

Ack-by: Zimmi48
Reviewed-by: jfehrle

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst
index 9e219bd503..e5edd08995 100644
--- a/doc/sphinx/practical-tools/utilities.rst
+++ b/doc/sphinx/practical-tools/utilities.rst
@@ -359,7 +359,7 @@ line timing data:
     pass  ``TIMING=before`` or ``TIMING=after`` rather than ``TIMING=1``.
 
     .. note::
-       The sorting used here is the same as in the ``print-pretty-timed -diff`` target.
+       The sorting used here is the same as in the ``print-pretty-timed-diff`` target.
 
     .. note::
        This target requires python to build the table.