diff --git a/collects/scribblings/main/private/make-search.rkt b/collects/scribblings/main/private/make-search.rkt index a389515c56..632c96e8aa 100644 --- a/collects/scribblings/main/private/make-search.rkt +++ b/collects/scribblings/main/private/make-search.rkt @@ -81,7 +81,7 @@ [`() xexprs] [`("" . ,r) (compact r)] [`(,(? string? s) ...) - (list (apply string-append xexprs))] + (list (xexpr->string (apply string-append xexprs)))] [`(,(? string? s1) ,(? string? s2) . ,r) (compact `(,(string-append s1 s2) . ,r))] [`((span ([class ,c]) . ,b1) (span ([class ,c]) . ,b2) . ,r) diff --git a/collects/scribblings/main/private/search.js b/collects/scribblings/main/private/search.js index df6bd70eee..2ac4606b8f 100644 --- a/collects/scribblings/main/private/search.js +++ b/collects/scribblings/main/private/search.js @@ -643,7 +643,7 @@ function UncompactUrl(url) { function UncompactHtml(x) { if (typeof x == "string") { - return SanitizeHTML(x); + return x; } else if (!(x instanceof Array)) { return alert("Internal error in PLT docs"); } else if ((x.length == 2) && (typeof(x[0]) == "number")) {