]> gitweb.factorcode.org Git - factor.git/commitdiff
help.handbook: update link to counting profiler
authorJoe Groff <arcata@gmail.com>
Tue, 1 Nov 2011 03:52:32 +0000 (20:52 -0700)
committerJoe Groff <arcata@gmail.com>
Wed, 2 Nov 2011 20:23:15 +0000 (13:23 -0700)
basis/help/handbook/handbook.factor

index 9c8464cae1316a8eb4a2c808d6e172c36f9f5ce6..81f92deff90115122e53d8c712b22d3928fc62c9 100644 (file)
@@ -352,7 +352,7 @@ ARTICLE: "handbook-tools-reference" "Developer tools"
 { $heading "Performance" }
 { $subsections
     "timing"
-    "profiling"
+    "tools.profiler.counting"
     "tools.memory"
     "tools.threads"
     "tools.destructors"