From 9e02c533b832057cb45ae33436a98d609deb7151 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Mon, 28 Apr 2008 21:26:37 -0500 Subject: [PATCH] Fix help bug reported --- extra/help/help-docs.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extra/help/help-docs.factor b/extra/help/help-docs.factor index 1d2af5fb39..d4981751e2 100755 --- a/extra/help/help-docs.factor +++ b/extra/help/help-docs.factor @@ -113,7 +113,7 @@ ARTICLE: "help" "Help system" "The help system maintains documentation written in a simple markup language, along with cross-referencing and search. Documentation can either exist as free-standing " { $emphasis "articles" } " or be associated with words." { $subsection "browsing-help" } { $subsection "writing-help" } -{ $subsection "help.lint" } +{ $vocab-subsection "Help lint tool" "help.lint" } { $subsection "help-impl" } ; IN: help