Remove `extra-internal-attribs' and just use the value directly.

(Renaming it is the same as renaming a variable anyway.)  Add the
attribute to the navigation links.

svn: r17041
This commit is contained in:
Eli Barzilay 2009-11-24 14:17:48 +00:00
parent 210ef8c4f1
commit 7feecb4d2c

View File

@ -43,8 +43,6 @@
,@(map (lambda (x) (if (string? x) x (format "~a" x))) body) ,@(map (lambda (x) (if (string? x) x (format "~a" x))) body)
"\n")))) "\n"))))
(define (extra-internal-attribs) '([pltdoc "x"]))
(define-runtime-path scribble-css "scribble.css") (define-runtime-path scribble-css "scribble.css")
(define-runtime-path scribble-style-css "scribble-style.css") (define-runtime-path scribble-style-css "scribble-style.css")
(define-runtime-path scribble-prefix-html "scribble-prefix.html") (define-runtime-path scribble-prefix-html "scribble-prefix.html")
@ -362,7 +360,7 @@
[class ,(if (or (eq? t d) (and show-mine? (memq t toc-chain))) [class ,(if (or (eq? t d) (and show-mine? (memq t toc-chain)))
"tocviewselflink" "tocviewselflink"
"tocviewlink")] "tocviewlink")]
,@(extra-internal-attribs)) [pltdoc "x"])
,@(render-content (or (part-title-content t) '("???")) d ri))) ,@(render-content (or (part-title-content t) '("???")) d ri)))
(format-number (collected-info-number (part-collected-info t ri)) (format-number (collected-info-number (part-collected-info t ri))
'(nbsp)))) '(nbsp))))
@ -532,7 +530,7 @@
[(part? p) "tocsubseclink"] [(part? p) "tocsubseclink"]
[any-parts? "tocsubnonseclink"] [any-parts? "tocsubnonseclink"]
[else "tocsublink"])] [else "tocsublink"])]
,@(extra-internal-attribs)) [pltdoc "x"])
,@(render-content ,@(render-content
(if (part? p) (if (part? p)
(or (part-title-content p) (or (part-title-content p)
@ -710,6 +708,7 @@
(make-target-url url) (make-target-url url)
(make-attributes (make-attributes
`([title . ,(if title* (string-append label " to " title*) label)] `([title . ,(if title* (string-append label " to " title*) label)]
[pltdoc . "x"]
,@more))))) ,@more)))))
(define top-link (define top-link
(titled-url (titled-url
@ -993,7 +992,7 @@
;; Normal link: ;; Normal link:
(dest->url dest)])) (dest->url dest)]))
,@(attribs) ,@(attribs)
,@(extra-internal-attribs)] [pltdoc "x"]]
,@(if (empty-content? (element-content e)) ,@(if (empty-content? (element-content e))
(render-content (strip-aux (dest-title dest)) part ri) (render-content (strip-aux (dest-title dest)) part ri)
(render-content (element-content e) part ri)))) (render-content (element-content e) part ri))))