From b455e2f775606ece2783cf427f783b9e82cd4706 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 6 Nov 2013 16:59:52 -0700
Subject: [PATCH] fix duplicate labels on main doc pages

Closes PR 14101
---
 .../racket-index/scribblings/main/private/utils.rkt            | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkgs/racket-pkgs/racket-index/scribblings/main/private/utils.rkt b/pkgs/racket-pkgs/racket-index/scribblings/main/private/utils.rkt
index 8927fcac3ee..0ff4b4f475d 100644
--- a/pkgs/racket-pkgs/racket-index/scribblings/main/private/utils.rkt
+++ b/pkgs/racket-pkgs/racket-index/scribblings/main/private/utils.rkt
@@ -51,8 +51,9 @@
     ;; massage the current path to an up string
     (regexp-replace* #rx"[^/]*/" (regexp-replace #rx"[^/]+$" path "") "../"))
   (define page-title
-    (title #:style (make-style #f (cons 
+    (title #:style (make-style #f (list*
                                    'no-toc
+                                   'toc-hidden
                                    (if (not force-racket-css?)
                                        null
                                        (list