From 6c75da20f1f92713baaf3e02aec0f382331fd318 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Mon, 11 Feb 2008 01:18:24 -0600 Subject: [PATCH] Fix bootstrap.help --- extra/bootstrap/help/help.factor | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/extra/bootstrap/help/help.factor b/extra/bootstrap/help/help.factor index e88091105b..ade60d4457 100755 --- a/extra/bootstrap/help/help.factor +++ b/extra/bootstrap/help/help.factor @@ -13,13 +13,7 @@ IN: bootstrap.help vocabs [ vocab-root ] subset [ vocab-source-loaded? ] subset - [ - dup vocab-docs-loaded? [ - drop - ] [ - dup vocab-root swap load-docs - ] if - ] each + [ dup vocab-docs-loaded? [ drop ] [ load-docs ] if ] each ] with-variable "help.handbook" require ;