help.handbook: update link to counting profiler

db4
Joe Groff 2011-10-31 20:52:32 -07:00
parent 87316ae28f
commit 43c832c991
1 changed files with 1 additions and 1 deletions

View File

@ -352,7 +352,7 @@ ARTICLE: "handbook-tools-reference" "Developer tools"
{ $heading "Performance" } { $heading "Performance" }
{ $subsections { $subsections
"timing" "timing"
"profiling" "tools.profiler.counting"
"tools.memory" "tools.memory"
"tools.threads" "tools.threads"
"tools.destructors" "tools.destructors"