hrm.. I wonder if it'd be possible to do a client-side solution? The index.html has all the links to all the documents right? One could request each document and just keyword index each. The result can then be stored. You can then just query saved json structure... etc. etc.
I wonder if it can be done via a Cookie or Google Gears it, etc. On Mar 24, 10:22 am, Guillermo Rauch <[email protected]> wrote: > What I don't understand is how you can prefer a non-working docs search, to > fixing it (I even did it myself, which was ignored and disregarded), and > waiting for the perfect indexing solution to be magically implemented... > meanwhile you type 'lambda' and get 'no results'. > -- > Guillermo Rauchhttp://devthought.com
