diff options
| -rw-r--r-- | src/doc/not_found.md | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/src/doc/not_found.md b/src/doc/not_found.md index f49772f29a1..bd4d9591097 100644 --- a/src/doc/not_found.md +++ b/src/doc/not_found.md @@ -11,9 +11,53 @@ Looks like you've taken a wrong turn. Some things that might be helpful to you though: +## Search +* <form action="https://duckduckgo.com/"> + <input type="text" id="site-search" name="q" size="80"></input> + <input type="submit" value="Search DuckDuckGo"> +</form> +* Rust doc search: <span id="core-search"></span> + ## Reference * [The Rust official site](http://rust-lang.org) * [The Rust reference](http://doc.rust-lang.org/reference.html) (* [PDF](http://doc.rust-lang.org/reference.pdf)) ## Docs * [The standard library](http://doc.rust-lang.org/std/) + +<script> +function get_url_fragments() { + var last = document.URL.split("/").pop(); + var tokens = last.split("."); + var op = []; + for (var i=0; i < tokens.length; i++) { + var t = tokens[i]; + if (t == 'html' || t.indexOf("#") != -1) { + // no html or anchors + } else { + op.push(t); + } + } + return op; +} + +function populate_site_search() { + var op = get_url_fragments(); + + var search = document.getElementById('site-search'); + search.value = op.join(' ') + " site:doc.rust-lang.org"; +} + +function populate_rust_search() { + var op = get_url_fragments(); + var lt = op.pop(); + + // #18540, use a single token + + var search = document.getElementById('core-search'); + search.innerHTML = "<a href=\"http://doc.rust-lang.org/core/?search=" + lt + "\">" + lt + "</a>"; +} +populate_site_search(); +populate_rust_search(); +</script> + |