www

commit fc153875e6a9829be4023252cb3c5cf941d84eab
parent ea81482bf177da5e201ceaf3be6129c06318778a
Author: Matthew Flatt <mflatt@racket-lang.org>
Date:   Thu, 11 Jul 2013 10:05:05 -0600

make `doc/local-redirect' also handle search links

original commit: b5842d94a5fde793937634a4aff7aea2ca325550

Diffstat:
M
pkgs/distro-build/doc.txt
 | 
4
++--
M
pkgs/distro-build/url-options.rkt
 | 
2
+-

2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/pkgs/distro-build/doc.txt b/pkgs/distro-build/doc.txt
@@ -133,8 +133,8 @@ Site-configuration keywords (where <string*> means no spaces, etc.):
   #:doc-search <string> --- URL to install as the configuration for
     remote documentation searches in generated installers; "" is
     replaced with the PLT default; defaults to #:dist-base-url (if
-    present) extended with "doc/search.html", or the `DOC_SEARCH'
-    makefile variable
+    present) extended with "doc/local-redirect/index.html", or the
+    `DOC_SEARCH' makefile variable
 
   #:dist-name <string> --- the distribution name; defaults to the
     `DIST_NAME' makefile variable
diff --git a/pkgs/distro-build/url-options.rkt b/pkgs/distro-build/url-options.rkt
@@ -9,7 +9,7 @@
       (let ([v (hash-ref config '#:dist-base-url #f)])
         (and v
              (url->string
-              (combine-url/relative (string->url v) "docs/search.html"))))
+              (combine-url/relative (string->url v) "docs/local-redirect/index.html"))))
       default-doc-search))
 
 (define (choose-catalogs config default-catalogs)