From 6bec7ab3b825565a767b066b553cdc7d76f5a57c Mon Sep 17 00:00:00 2001 From: slava Date: Fri, 19 May 2006 04:21:05 +0000 Subject: [PATCH] Bootstrap fix --- library/syntax/prettyprint.facts | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/library/syntax/prettyprint.facts b/library/syntax/prettyprint.facts index 780b5d4604..2b0a59a14b 100644 --- a/library/syntax/prettyprint.facts +++ b/library/syntax/prettyprint.facts @@ -1,4 +1,4 @@ -USING: help kernel prettyprint words ; +USING: help io kernel prettyprint words ; IN: help @@ -86,12 +86,8 @@ HELP: add-section "( section -- )" { $description "Adds a section to the current block." } $prettyprinting-note ; -HELP: text "( text style -- )" -{ $description "Adds a section consisting of a single string with style information to the current block." } -$prettyprinting-note ; - -HELP: plain-text "( text -- )" -{ $description "Adds a section consisting of a single string to the current block." } +HELP: text "( text -- )" +{ $description "Adds a section consisting of a single string to the current block. The current style on the style stack is used; see " { $link with-style } "." } $prettyprinting-note ; HELP: