According to the docs (http://devdocs.io/help#search) you can actually integrate...

nlh on Oct 19, 2017 | parent | context | favorite | on: DevDocs API Documentation

According to the docs (http://devdocs.io/help#search) you can actually integrate DevDocs into your search habits by using the browser bar search (on Google Chrome, at least).

Go to search bar -> type in 'devdocs' -> hit tab ("Search DevDocs"). You can then search directly.

It's pretty awesome.

malnourish on Oct 20, 2017 [–]

If you use duckduckgo, adding !dd to your search does the same thing.