fix duplicate labels on main doc pages

Closes PR 14101
racket · Nov 7, 2013 · b455e2f · b455e2f
1 parent 6eca0ae
commit b455e2f
Showing 1 changed file with 2 additions and 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
@@ -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