summaryrefslogtreecommitdiff
path: root/manual/gsearch.js
blob: 9b5e3f7aa144f681532544e08a308459340df123 (plain)
1
2
3
4
5
6
7
8
9
10
11
function gsearch() {
    var expr=/(.*)\/([^/]+)$/;
    var loc = expr.exec(window.location)[1];
    document.getElementById("gsearch").innerHTML = ''
    + '<form action="http://www.google.com/search">'
    + 'Search this manual '
    + '<input name="as_q" size="30">'
    + '<input value="Google it" type="submit">'
    + '<input type="hidden" name="as_sitesearch" value="' + loc + '">'
    + '</form>';
}