help.html: "no-roots no-prefixes" has a name, "filter-vocabs".

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index fefcf95774e64049f829f75f49b45894655c2103..de2b969224b1e6d2083b9ac25fc6f284fd8351c3 100644 (file)
--- 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 )