diff --git a/collects/scribble/html-render.rkt b/collects/scribble/html-render.rkt index 83cc4fda55..664d3ae5bc 100644 --- a/collects/scribble/html-render.rkt +++ b/collects/scribble/html-render.rkt @@ -420,7 +420,7 @@ [class ,(if (or (eq? t d) (and show-mine? (memq t toc-chain))) "tocviewselflink" "tocviewlink")] - [pltdoc "x"]) + [data-pltdoc "x"]) ,@(render-content (or (part-title-content t) '("???")) d ri))) (format-number (collected-info-number (part-collected-info t ri)) '(nbsp)))) @@ -610,7 +610,7 @@ [(part? p) "tocsubseclink"] [any-parts? "tocsubnonseclink"] [else "tocsublink"])] - [pltdoc "x"]) + [data-pltdoc "x"]) ,@(render-content (if (part? p) (or (part-title-content p) @@ -813,7 +813,7 @@ url)) (make-attributes `([title . ,(if title* (string-append label " to " title*) label)] - [pltdoc . "x"] + [data-pltdoc . "x"] ,@more))))) (define top-link (titled-url @@ -1150,7 +1150,7 @@ ;; Normal link: (dest->url dest)])) ,@(attribs) - [pltdoc "x"]] + [data-pltdoc "x"]] ,@(if (empty-content? (element-content e)) (render-content (strip-aux (dest-title dest)) part ri) (render-content (element-content e) part ri)))) diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js index 90bc9b8c3d..00eec767fc 100644 --- a/collects/scribble/scribble-common.js +++ b/collects/scribble/scribble-common.js @@ -26,7 +26,7 @@ function GetPageArg(key, def) { function MergePageArgsIntoLink(a) { if (page_args.length == 0 || - (!a.attributes["pltdoc"]) || (a.attributes["pltdoc"].value == "")) + (!a.attributes["data-pltdoc"]) || (a.attributes["data-pltdoc"].value == "")) return; a.href.search(/^([^?#]*)(?:\?([^#]*))?(#.*)?$/); if (RegExp.$2.length == 0) { diff --git a/collects/scribblings/main/private/make-search.rkt b/collects/scribblings/main/private/make-search.rkt index 53eceacd9e..a389515c56 100644 --- a/collects/scribblings/main/private/make-search.rkt +++ b/collects/scribblings/main/private/make-search.rkt @@ -134,7 +134,7 @@ [e (make-link-element "indexlink" e tag)] [e (send renderer render-content e sec ri)]) (match e ; should always render to a single `a' - [`((a ([href ,href] [class "indexlink"] [pltdoc ,_]) . ,body)) + [`((a ([href ,href] [class "indexlink"] [data-pltdoc ,_]) . ,body)) (cond [(and (part-index-desc? desc) (regexp-match #rx"(?:^|/)([^/]+)/index\\.html$" href)) => (lambda (man) (hash-set! manual-refs (cadr man) idx))]) diff --git a/collects/scribblings/main/private/utils.rkt b/collects/scribblings/main/private/utils.rkt index 6f21ee6c31..8927fcac3e 100644 --- a/collects/scribblings/main/private/utils.rkt +++ b/collects/scribblings/main/private/utils.rkt @@ -113,7 +113,7 @@ ;; note: root=#f means an external link, but in this ;; case this is the bugs link, so *keep* it and later ;; use it on the bugs page - [pltdoc . "x"]))))) + [data-pltdoc . "x"]))))) (define (elt style) (make-toc-element #f null (list (hyperlink dest #:style (onclick style) text))))