add DOCTYPE for Scribble-generated HTML

svn: r7924

original commit: 40910d252cecba73603aa4f73ca0cbfba8f34a53
This commit is contained in:
Matthew Flatt 2007-12-07 20:46:12 +00:00
parent 465d9a6e9d
commit 40d4f61785

View File

@ -283,6 +283,7 @@
(div ((class "maincolumn"))
(div ((class "main")) ,@(render-part d ri)))))])
(install-file scribble-css)
(printf "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\">\n")
(xml:write-xml/content (xml:xexpr->xml xpr)))))
(define/override (render-one d ri fn)