diff options
Diffstat (limited to 'manual/gsearch.js')
-rw-r--r-- | manual/gsearch.js | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/manual/gsearch.js b/manual/gsearch.js new file mode 100644 index 0000000000..9b5e3f7aa1 --- /dev/null +++ b/manual/gsearch.js | |||
@@ -0,0 +1,11 @@ | |||
1 | function gsearch() { | ||
2 | var expr=/(.*)\/([^/]+)$/; | ||
3 | var loc = expr.exec(window.location)[1]; | ||
4 | document.getElementById("gsearch").innerHTML = '' | ||
5 | + '<form action="http://www.google.com/search">' | ||
6 | + 'Search this manual ' | ||
7 | + '<input name="as_q" size="30">' | ||
8 | + '<input value="Google it" type="submit">' | ||
9 | + '<input type="hidden" name="as_sitesearch" value="' + loc + '">' | ||
10 | + '</form>'; | ||
11 | } | ||