diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index fcef56422f..fcbe10093b 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -43,7 +43,7 @@ ,@(map (lambda (x) (if (string? x) x (format "~a" x))) body) "\n")))) -(define (extra-internal-attribs) null) +(define (extra-internal-attribs) '([pltdoc "x"])) (define-runtime-path scribble-css "scribble.css") (define-runtime-path scribble-style-css "scribble-style.css")