diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index 763cc68c42..d14db69c5a 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -86,6 +86,8 @@ M: topic browser-link-href topic>filename ; { "resource:core" "resource:basis" "resource:extra" } vocab-roots [ load-everything + "/tmp/docs/" make-directory + "/tmp/docs/" [ generate-indices generate-help-files diff --git a/extra/webapps/help/help.xml b/extra/webapps/help/help.xml index f71db15e19..f4262a6f6a 100644 --- a/extra/webapps/help/help.xml +++ b/extra/webapps/help/help.xml @@ -11,7 +11,7 @@ - + diff --git a/extra/webapps/help/search.xml b/extra/webapps/help/search.xml index b763f11f88..b5c6eb3fac 100644 --- a/extra/webapps/help/search.xml +++ b/extra/webapps/help/search.xml @@ -7,18 +7,34 @@ + + -

Factor documentation

+

Factor help

+

This documentation was generated offline from a Factor + image where load-everything was run.

+ +

You may search article titles below.

+ -

Articles

+
+ +

Articles

    @@ -28,7 +44,9 @@ -

    Vocabularies

    +
    + +

    Vocabularies

      @@ -38,7 +56,9 @@ -

      Words

      +
      + +

      Words