I was thinking about creating a static HTML tree from the database
dump. The only thing I can't figure out is how to provide a decent
search function. Are there any ready-made solutions for this problem?
The possibilities I see are
* ship a minimal web server, and use some sort of htdig cgi search script.
* hack together some javascript code which doesn't need a server.
(Something like this exists already at
http://www.javascript.freeuk.com/oldindex.html, but they recommend
it only for "up to 50 pages")
* Use some format other than HTML which provides search capabilities,
such as MS help files or pdf.
I don't like either option.
Axel