Re: Enhancements to options menu (was Re: Reveal mode)

[Karl Berry]

For the particular case of html documents derived from a texinfo source,
it would not be hard to write a simple cgi that does regexp search
through the document (or all documents installed in sibling directories
for that matter), or index search for that matter.  This would probably
make htmlified texinfo a lot easier to work with.