downcase index entries

svn: r10007
2008-05-28 18:58:25 +00:00 · 2008-05-28 18:58:25 +00:00 · 347b8bee28
commit 347b8bee28
parent 748943eac8
1 changed files with 2 additions and 1 deletions
--- a/collects/scribblings/main/private/make-search.ss
+++ b/collects/scribblings/main/private/make-search.ss
@ -49,9 +49,10 @@
      ;; (and (exported-index-desc? desc)
      ;;      (list (exported-index-desc-name desc)
      ;;            (exported-index-desc-from-libs desc)))
+      ;; Note: using ~s to have javascript-quoted strings
      (format "~a[~s, ~s, ~s]"
              (if (eq? i (car l)) "" ",\n")
-              (string-join texts " ")
+              (string-downcase (string-join texts " "))
              href
              html)))
  @script[#:noscript @list{Sorry, you must have JavaScript to use this page.}]{