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