www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

commit c355ea36495baa404db775faa2acc610e4ea7824
parent fc153875e6a9829be4023252cb3c5cf941d84eab
Author: Matthew Flatt <mflatt@racket-lang.org>
Date:   Thu, 11 Jul 2013 13:46:18 -0600

fix doc-redirection URL

original commit: 98f821574a0b86f5006f7614b5c652dd9bb4c37a

Diffstat:
Mpkgs/distro-build/url-options.rkt | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

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/local-redirect/index.html")))) + (combine-url/relative (string->url v) "doc/local-redirect/index.html")))) default-doc-search)) (define (choose-catalogs config default-catalogs)