scribble: Rename attribute pltdoc -> data-pltdoc, which is valid in HTML5.

(pltdoc isn't valid in any version of HTML.)

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))))

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) {

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))])

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))))