|
One thing that has been on my TODO list for a while is providing a decent search. This requires doing some indexing of the page contents so that matches in titles/subtitles are returned first, followed by matches in body text. The current search uses google, which is less than optimal.
Of course, doing this will require hacking with sphinx (the system used to generate the documentation and javascript to implement the search logic).
|