From 395519de374e2c51cde2b2777af90f8af1200ea2 Mon Sep 17 00:00:00 2001
From: Antonio Nikishaev
Date: Fri, 27 Sep 2019 06:16:40 +0300
Subject: documentation fixes

document « Property »

more documentation fixes

[doc] destructed → destructured

[doc] another le_minus→lt_1_r

[doc] @jfehrle suggestions

[doc] more minor fixes
---
 doc/sphinx/practical-tools/utilities.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx/practical-tools')

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.
-- 
cgit v1.2.3