From e7cee4f20b20d412dbf53d793b91125adc35443c Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Mon, 4 Feb 2008 03:36:59 +0000
Subject: [PATCH] do the proper thing to get to the index page

svn: r8520

original commit: 8f186accdf716e586ef1a59fda8ce1ffd4406687
---
 collects/scribble/html-render.ss | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss
index 3d9a73e2..b574aca4 100644
--- 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