fix duplicate labels on main doc pages
Closes PR 14101
This commit is contained in:
parent
6eca0ae554
commit
b455e2f775
|
@ -51,8 +51,9 @@
|
||||||
;; massage the current path to an up string
|
;; massage the current path to an up string
|
||||||
(regexp-replace* #rx"[^/]*/" (regexp-replace #rx"[^/]+$" path "") "../"))
|
(regexp-replace* #rx"[^/]*/" (regexp-replace #rx"[^/]+$" path "") "../"))
|
||||||
(define page-title
|
(define page-title
|
||||||
(title #:style (make-style #f (cons
|
(title #:style (make-style #f (list*
|
||||||
'no-toc
|
'no-toc
|
||||||
|
'toc-hidden
|
||||||
(if (not force-racket-css?)
|
(if (not force-racket-css?)
|
||||||
null
|
null
|
||||||
(list
|
(list
|
||||||
|
|
Loading…
Reference in New Issue
Block a user