Scribble: fix problem with URL redirection

original commit: 4cc475ad688ac38c74388d45504cb883f93fa4d7
2012-09-13 11:05:13 -06:00 · 2012-09-13 11:05:13 -06:00 · f3e1a7425c
commit f3e1a7425c
parent e15bf50937
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