you could try defining a slashtag at https://edit.blekko.com/ although it seems that they are evolving to a "simpler" interface. this is pretty much exactly what the slashtag mechanism was for, if i understood right... andrew
On Monday, 23 December 2013 16:34:54 UTC-3, Spencer Russell wrote: > > I find that often when I'm looking for something to solve a Julia problem, > my process is to browse around in the FAQ, the Manual, and the Standard > Library docs, then I search the julia-users and julia-dev archives, and > sometimes the github issues as well. > > Maybe it would be useful to have a search bar on julialang.org that > searches through a bunch of known julia resources? I just tried creating > one using the google custom search engine. It doesn't seem to rank the > official documentation highly enough vs. random posts and issues, but it > might be an improvement over searching through everything separately. > > https://www.google.com/cse/publicurl?cx=016772249403013439349:pbs_56faf3i >
