diff options
| -rw-r--r-- | src/doc/not_found.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/not_found.md b/src/doc/not_found.md index d54798793cd..d26fcfc0168 100644 --- a/src/doc/not_found.md +++ b/src/doc/not_found.md @@ -45,7 +45,7 @@ Some things that might be helpful to you though: --> <fieldset id="search-from" style="display:none"> <label><input name="from" value="library" type="radio"> From the Standard Library</label> - <label><input name="from" value="dro" type="radio" checked> From DuckDuckGo</label> + <label><input name="from" value="duckduckgo" type="radio" checked> From DuckDuckGo</label> </fieldset> </form> </div> @@ -81,7 +81,7 @@ function on_submit(event) { event.preventDefault(); - if (form['from'].value === 'dro') { + if (form['from'].value === 'duckduckgo') { document.location.href = form.action + '?q=' + encodeURIComponent(q + ' site:doc.rust-lang.org'); } else if (form['from'].value === 'library') { document.location.href = 'std/index.html?search=' + encodeURIComponent(q); |