From 23af6bb4e3d5cc518eda86aa958db0cf4c1a55f9 Mon Sep 17 00:00:00 2001
From: Kazuyoshi Kato <kato.kazuyoshi@gmail.com>
Date: Fri, 5 Oct 2018 08:52:44 -0700
Subject: [PATCH] dro -> duckduckgo

dro means "doc.rust-lang.org", but it is too cryptic.
---
 src/doc/not_found.md | 4 ++--
 1 file 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);