Scribble: fix problem with URL redirection

2012-09-13 11:05:13 -06:00 · 2012-09-13 11:05:13 -06:00 · 4cc475ad68
commit 4cc475ad68
parent ab251eaca6
1 changed files with 5 additions and 1 deletions
--- 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