On Tue, Jun 03, 2003 at 03:40:13PM -0400, Jan Schaumann wrote:
> Extensive documentation (often in form of HTML docs) is often available
> for several packages, but not everybody may want to install it.  Rather
> than creating variables for each package, should we create a variable
> that can be set to, say, "all", "html", "pdf", "ps" or some combination
> so that packages can check that variable?

And manipulate the PLISTS... how, exactly?

Regards,
Alistair