diff options
| author | Théo Zimmermann | 2018-08-01 10:58:18 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-01 10:58:18 +0200 |
| commit | 2dcb340f82c3df70d8fe2c6acc3536913a86144a (patch) | |
| tree | 86e627cb4c13ec2b1533c557224495ed1d15908e /doc/sphinx/practical-tools | |
| parent | 29a432dfbaa83dd1459c7af95f556555da15a1ce (diff) | |
| parent | 7f1ed3298c841c2afa4faf080a5f65361bbb413f (diff) | |
Merge PR #8191: [sphinx] Use arguments of '.. example::' directive as a title
Diffstat (limited to 'doc/sphinx/practical-tools')
| -rw-r--r-- | doc/sphinx/practical-tools/utilities.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst index e15bcb8e2c..59bc2d22aa 100644 --- a/doc/sphinx/practical-tools/utilities.rst +++ b/doc/sphinx/practical-tools/utilities.rst @@ -218,6 +218,7 @@ file timing data: On ``Mac OS``, this works best if you’ve installed ``gnu-time``. .. example:: + For example, the output of ``make TIMED=1`` may look like this: @@ -295,6 +296,7 @@ file timing data: files which take effectively no time to compile. .. example:: + For example, the output table from ``make print-pretty-timed-diff`` may look like this: @@ -318,6 +320,7 @@ line timing data: line-by-line timing information. .. example:: + For example, running ``make all TIMING=1`` may result in a file like this: :: @@ -345,6 +348,7 @@ line timing data: This target requires python to build the table. .. example:: + For example, running ``print-pretty-single-time-diff`` might give a table like this: :: |
