doc search: fix manual-title table

Merge to v6.0
(cherry picked from commit 56518f0615)
This commit is contained in:
Matthew Flatt 2013-11-28 08:45:29 -07:00 committed by Ryan Culpepper
parent e03ccf4081
commit 760469f69c

View File

@ -107,11 +107,12 @@
(car body)
(string-append* `("[" ,@(add-between body ",") "]")))))))
(define manual-refs (make-hash))
(define idx -1)
(define l
(for/list ([i (get-index-entries sec ri)]
[idx (in-naturals)]
;; don't index constructors (the class itself is already indexed)
#:unless (constructor-index-desc? (list-ref i 3)))
(set! idx (add1 idx))
;; i is (list tag (text ...) (element ...) index-desc)
(define-values (tag texts elts desc) (apply values i))
(define text (string-downcase (string-join texts)))