diff options
Diffstat (limited to 'doc/development/performance.md')
-rw-r--r-- | doc/development/performance.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/development/performance.md b/doc/development/performance.md index fd7e9a85fba..428d5637aa9 100644 --- a/doc/development/performance.md +++ b/doc/development/performance.md @@ -250,7 +250,7 @@ the timeout. Once profiling stops, the profile is written out to disk at `$STACKPROF_FILE_PREFIX/stackprof.$PID.$RAND.profile`. It can then be inspected -further through the `stackprof` command line tool, as described in the +further through the `stackprof` command-line tool, as described in the [Reading a Stackprof profile section](#reading-a-stackprof-profile). Currently supported profiling targets are: |