diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/html/html.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/html/html.rkt index 56978eda..c4bb58e8 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/html/html.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/html/html.rkt @@ -4,16 +4,27 @@ (require "xml.rkt" scribble/text) +;; ---------------------------------------------------------------------------- +;; Doctype line + +(provide doctype) +(define (doctype type) + (cond [(string? type) (literal "\n")] + [(eq? 'html type) (doctype type)] + [(eq? 'xhtml type) + (list (literal "\n") + (doctype (string-append + "html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\"" + " \"http://www.w3.org/TR/xhtml1/DTD/" + "xhtml1-strict.dtd\"")))] + [else (raise-type-error 'doctype + "string or known doctype symbol" type)])) + ;; ---------------------------------------------------------------------------- ;; Xhtml toplevel ;; creation of xhtml files requires some extra stuff -(define xhtml-prefix - (literal - (string-append - "\n" - "\n"))) +(define xhtml-prefix (doctype 'xhtml)) (provide xhtml) (define (xhtml . body) (list xhtml-prefix