From 2dfa41a8f20d3388ae537943e8ad415543ac6593 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 25 Jan 2008 16:47:43 +0000 Subject: [PATCH] Better sorting of index entries svn: r8418 original commit: 5c13830bf67cab65630d41ac1da1552aedde769b --- collects/scribble/basic.ss | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/collects/scribble/basic.ss b/collects/scribble/basic.ss index 04f87ba6..6ac03e7d 100644 --- a/collects/scribble/basic.ss +++ b/collects/scribble/basic.ss @@ -206,9 +206,12 @@ (cdr (apply append (map (lambda (i) (list ", " i)) l))))) (define (cadr-string-listslist "ABCDEFGHIJKLMNOPQRSTUVWXYZ")) (define contents