From 17acde5a1f2780ebe759655984574f3b9bd5db7d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 25 Feb 2016 08:49:22 -0700 Subject: [PATCH] fix default external-URL redirection Use an installation's current configuration and get a corrected default by using `setup/dirs`. --- scribble-lib/scribble/html-render.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scribble-lib/scribble/html-render.rkt b/scribble-lib/scribble/html-render.rkt index 15b454eb..dac29bf0 100644 --- a/scribble-lib/scribble/html-render.rkt +++ b/scribble-lib/scribble/html-render.rkt @@ -1378,7 +1378,7 @@ ;; Redirected to search: (url->string* (let ([u (string->url (or external-tag-path - "http://doc.racket-lang.com/"))]) + (get-doc-search-url)))]) (struct-copy url u