do the proper thing to get to the index page

svn: r8520
2008-02-04 03:36:59 +00:00 · 2008-02-04 03:36:59 +00:00 · 8f186accdf
commit 8f186accdf
parent 160bb6a7bc
1 changed files with 2 additions and 2 deletions
--- a/collects/scribble/html-render.ss
+++ b/collects/scribble/html-render.ss
@ -543,8 +543,8 @@
                                   #f index-content (car (part-tags index)))))
                      ,@(if (eq? d index)
                          null
-                          ;; FIXME: put the real url of the index file
-                          `((small nbsp ,(search-index-box "doc-index.html")))))
+                          `((small nbsp
+                             ,(search-index-box (derive-filename index))))))
                    null))
              (div ([class "navright"])
                ,@(render