4426: name attribute is needed for google search

diff --git a/doc/_includes/_navbar_top.liquid b/doc/_includes/_navbar_top.liquid
index b05fdc0e26e13904a0edf1148f9d27082cebe47e..14c300db564138bbbf9c9e68010b5b593592e846 100644 (file)
--- a/doc/_includes/_navbar_top.liquid
+++ b/doc/_includes/_navbar_top.liquid
@@ -23,7 +23,7 @@
       <div class="pull-right" style="padding-top: 6px">
         <form method="get" action="http://www.google.com/search">
           <div class="input-group" style="width: 220px">
-            <input type="text" class="form-control" placeholder="search">
+            <input type="text" class="form-control" name="q" placeholder="search">
             <a class="input-group-addon"><span class="glyphicon glyphicon-search"></span></a>
             <input type="hidden" name="sitesearch" value="doc.arvados.org"/>
           </div>