From dd88172bafacc7354723d3ecf54120abf39884d1 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Mon, 29 Aug 2005 12:38:52 +0000 Subject: [PATCH] Making manuals.ss work again svn: r697 --- collects/help/servlets/manuals.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/help/servlets/manuals.ss b/collects/help/servlets/manuals.ss index 34f726522a..c3a37cc186 100644 --- a/collects/help/servlets/manuals.ss +++ b/collects/help/servlets/manuals.ss @@ -9,5 +9,5 @@ (define (start initial-request) (report-errors-to-browser send/finish) (list - "text/html" + #"text/html" (find-manuals)))) \ No newline at end of file