From cc0c5f263455a713353e13edfb45f9121ac3d0f2 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sat, 24 Feb 2018 15:43:18 -0800 Subject: [PATCH] help.html: "no-roots no-prefixes" has a name, "filter-vocabs". --- basis/help/html/html.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index fefcf95774..de2b969224 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -127,7 +127,7 @@ M: pathname url-of dup topic>filename utf8 [ help>html write-xml ] with-file-writer ; : all-vocabs-really ( -- seq ) - all-disk-vocabs-recursive no-roots no-prefixes + all-disk-vocabs-recursive filter-vocabs [ vocab-name "scratchpad" = ] reject ; : all-topics ( -- topics )