<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 25 April 2013 20:45, Alice Wonder <span dir="ltr"><<a href="mailto:alicewonder@shastaherps.org" target="_blank">alicewonder@shastaherps.org</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":vf">e.g. a page called Udev that maybe has a very brief description and then<br>
hyperlinks to the actual documentation. That would also work.</div></blockquote></div><br></div><div class="gmail_extra">That would fix this specific case, but what if you want to search for something like a specific function from udev? I think there's an expectation that a search box offers full text search of the whole site, not just of names that have been prepared for it by making wiki pages.<br>

<br></div><div class="gmail_extra">Thomas<br></div><div class="gmail_extra"><br><br></div></div>