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

[Alan Shutko]

address@hidden (Karl Berry) writes:

> 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
[...]

Then, either you need to have docs installed in a webserver's space
that does CGI, or the browser needs to handle running CGIs.  Existing
browsers don't do this.

-- 
Alan Shutko <address@hidden> - In a variety of flavors!
No matter how cynical you get, it's impossible to keep up.