--- trunk2/out/js/usage.js 2004/10/10 08:24:40 498 +++ trunk2/out/js/usage.js 2004/10/10 09:33:57 499 @@ -116,7 +116,7 @@ var e = document.createElement("font"); e = document.createElement("a"); - e.setAttribute("href","browse.html?o="+result[i].link+"#mfn"+result[i].link); + e.setAttribute("href","browse.html?o="+result[i].link); e.appendChild(document.createTextNode(result[i].title)); d.appendChild(e); d.appendChild(document.createTextNode(" "));