From f3e1a7425c8a7e55b1defec6479adf6b2f8c481e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 13 Sep 2012 11:05:13 -0600 Subject: [PATCH] Scribble: fix problem with URL redirection original commit: 4cc475ad688ac38c74388d45504cb883f93fa4d7 --- collects/scribble/html-render.rkt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/scribble/html-render.rkt b/collects/scribble/html-render.rkt index 56b176e6..cf33a004 100644 --- a/collects/scribble/html-render.rkt +++ b/collects/scribble/html-render.rkt @@ -1121,7 +1121,11 @@ url (combine-url/relative (string->url external-root-url) - (string-join (map path-element->string + (string-join (map (lambda (s) + (case s + [(up) ".."] + [(same) "."] + [else (path-element->string s)])) (explode-path rel)) "/")) [fragment