diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss index febbf4d407..60ea334127 100644 --- a/collects/scribblings/main/private/make-search.ss +++ b/collects/scribblings/main/private/make-search.ss @@ -294,7 +294,7 @@ + ''; desc = '  ' + '' - + 'from ' + + 'provided from ' + desc + ''; } result_links[i].innerHTML =