Hi,

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?

-Jan

-- 
"When it's fall in New York, the air smells as if someone's been frying
goats in it, and if you are keen to breathe the best plan is to open a
window and stick your head in a building."