do the proper thing to get to the index page

svn: r8520 original commit: 8f186accdf716e586ef1a59fda8ce1ffd4406687
2008-02-04 03:36:59 +00:00 · 2008-02-04 03:36:59 +00:00 · e7cee4f20b
commit e7cee4f20b
parent 6c9bd9f30d
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