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

help.html: better to set all recent help entries to empty.

db4
John Benediktsson 2011-09-29 13:34:27 -07:00
parent 002972c3b4
commit 7bdf805a0f
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -99,7 +99,13 @@ M: topic url-of topic>filename ;
all-topics [ '[ _ generate-help-file ] try ] each ; all-topics [ '[ _ generate-help-file ] try ] each ;
: generate-help-files ( -- ) : generate-help-files ( -- )
f recent-searches [ (generate-help-files) ] with-variable ; [
recent-searches off
recent-words off
recent-articles off
recent-vocabs off
(generate-help-files)
] with-scope ;
: generate-help ( -- ) : generate-help ( -- )
"docs" temp-file "docs" temp-file