From e95bda8144058c374215fb7ac9ad29305f7d03c1 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sat, 6 Dec 2008 03:47:17 -0600 Subject: [PATCH] Fix help lint warning --- basis/tools/annotations/annotations-docs.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/tools/annotations/annotations-docs.factor b/basis/tools/annotations/annotations-docs.factor index acb6d6dd2a..c88e959b8e 100644 --- a/basis/tools/annotations/annotations-docs.factor +++ b/basis/tools/annotations/annotations-docs.factor @@ -74,7 +74,7 @@ HELP: word-inputs HELP: add-timing { $values { "word" word } } { $description "Adds timing code to a word, which records its total running time, including that of words it calls, on every invocation." } -{ $see-also "tools.time" } ; +{ $see-also "timing" "profiling" } ; HELP: reset-word-timing { $description "Resets the word timing table." } ;