On Saturday 21 August 2004 11:44 pm, Spider wrote:
> Actually, you just describe the reason we implemented the "doc" useflag.
> Its not meant for enduser documentation in that sense, but for more
> massive, developer oriented documentation that is autogenerated in some
> ways.  okay, its misnamed, I realized that afterwards, too late.

agreed ... if a user puts 'doc' into global USE, well that's their fault their 
emerges suddenly take much longer ;)
-mike