From db97c7c4ae7ca30af8524a56d24a54da953bff84 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 18 Nov 2006 16:09:42 +0000 Subject: [PATCH] fixed PR 8389 svn: r4880 --- collects/help/servlets/private/read-doc.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/help/servlets/private/read-doc.ss b/collects/help/servlets/private/read-doc.ss index 3ff668c16e..52530dfdbf 100644 --- a/collects/help/servlets/private/read-doc.ss +++ b/collects/help/servlets/private/read-doc.ss @@ -33,7 +33,8 @@ `(HTML (HEAD (TITLE "PLT Help Desk") ,hd-css) - ,(read-lines file caption offset))))) + (BODY + ,(read-lines file caption offset)))))) (define read-doc (opt-lambda (file caption coll [offset #f])