From 577522fe0f4e71a708dce3d9d71f793f9ad3940e Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@slava-pestovs-macbook-pro.local>
Date: Tue, 24 Mar 2009 08:56:59 -0500
Subject: [PATCH] Fix ui.tools.profiler help lint

---
 basis/ui/tools/profiler/profiler-docs.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/basis/ui/tools/profiler/profiler-docs.factor b/basis/ui/tools/profiler/profiler-docs.factor
index a54a29c6a1..e2a0ef5f4e 100644
--- a/basis/ui/tools/profiler/profiler-docs.factor
+++ b/basis/ui/tools/profiler/profiler-docs.factor
@@ -2,7 +2,7 @@ IN: ui.tools.profiler
 USING: help.markup help.syntax ui.operations help.tips ;
 
 ARTICLE: "ui.tools.profiler" "UI profiler tool"
-"The " { $vocab-link "ui.tools.profiler" } " vocabulary implements a graphical tool for viewing profiling results (see " { $link "tools.profiler" } ")."
+"The " { $vocab-link "ui.tools.profiler" } " vocabulary implements a graphical tool for viewing profiling results (see " { $link "profiling" } ")."
 $nl
 "To use the profiler, enter a piece of code in the listener's input area and press " { $operation com-profile } "." ;