]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #18528 : seanjensengrey/rust/doc-18498, r=brson
authorbors <bors@rust-lang.org>
Tue, 4 Nov 2014 18:46:19 +0000 (18:46 +0000)
committerbors <bors@rust-lang.org>
Tue, 4 Nov 2014 18:46:19 +0000 (18:46 +0000)
This addresses https://github.com/rust-lang/rust/issues/18498 by adding a prepopulated search box to do site search on `doc.rust-lang.org` using duckduckgo AND generating a search url against the rust documentation using the internal search facilities.

* https://duckduckgo.com/?q=type+Option+unwrap_or_else+site%3Adoc.rust-lang.org
* http://doc.rust-lang.org/core/?search=unwrap_or_else


Trivial merge