From c29edcc9182c62d3010a10588806fa16d4d3eda2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 7 Jul 2007 15:28:59 +0000 Subject: [PATCH] made sorting of doc.txt files be case insensitive svn: r6836 --- collects/help/private/manuals.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/help/private/manuals.ss b/collects/help/private/manuals.ss index 7f3ae0b596..d798b9c7ea 100644 --- a/collects/help/private/manuals.ss +++ b/collects/help/private/manuals.ss @@ -192,7 +192,7 @@ name path)))))) collections-doc-files collection-names)]) - (map cdr (sort name/html-pairs (λ (x y) (string<=? (car x) (car y)))))))) + (map cdr (sort name/html-pairs (λ (x y) (string-ci<=? (car x) (car y)))))))) ;; break-between : regexp ;; (listof (union string (cons string string)))