steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

windows-high-dpi
John Benediktsson 2018-02-24 15:43:18 -08:00
parent f96fb3bcc8
commit cc0c5f2634
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/help/html/html.factor
View File

@ -127,7 +127,7 @@ M: pathname url-of
dup topic>filename utf8 [ help>html write-xml ] with-file-writer ; dup topic>filename utf8 [ help>html write-xml ] with-file-writer ;
: all-vocabs-really ( -- seq ) : all-vocabs-really ( -- seq )
all-disk-vocabs-recursive no-roots no-prefixes all-disk-vocabs-recursive filter-vocabs
[ vocab-name "scratchpad" = ] reject ; [ vocab-name "scratchpad" = ] reject ;
: all-topics ( -- topics ) : all-topics ( -- topics )