From 607f02a331aacd135b04b4679efd10cdede654f8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 28 Jun 2012 09:15:57 -0600 Subject: [PATCH] scribble HTML render: avoid intermediate XML structure As pointed out by Danny Yoo to save time during the rendering phase original commit: 612c4ff5240594b8d884ce2d68701cd40ba50fc1 --- collects/scribble/html-render.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/collects/scribble/html-render.rkt b/collects/scribble/html-render.rkt index a8f099e6..4905d6e4 100644 --- a/collects/scribble/html-render.rkt +++ b/collects/scribble/html-render.rkt @@ -663,8 +663,7 @@ (lambda (in) (copy-port in (current-output-port))))) (parameterize ([xml:empty-tag-shorthand xml:html-empty-tags]) - (xml:write-xml/content - (xml:xexpr->xml + (xml:write-xexpr `(html () (head () (meta ([http-equiv "content-type"] @@ -698,7 +697,7 @@ ,@(navigation d ri #t) ,@(render-part d ri) ,@(navigation d ri #f))) - (div ([id "contextindicator"]) nbsp))))))))) + (div ([id "contextindicator"]) nbsp)))))))) (define/private (part-parent d ri) (collected-info-parent (part-collected-info d ri)))