[ On Friday, September 22, 2000 at 09:05:33 (+0200), Bernd Ernesti wrote: ]
> Subject: Re: Generation of html from man pages.
>
> I don't think it is a good idea to bloat the tree size.
> We don't provide a browser with the base system and not everyone
> wants the html pages.

Bloat?  Those few changes are not bloat.  Bloat is keeping two copies of
many GNU tools in source!

> We need at least an extra set for the html pages.

I didn't see anywhere a recommendation that such html output would
actually be shipped with binary releases.  Indeed that would be
unnecessary bloat.

-- 
							Greg A. Woods

+1 416 218-0098      VE3TCP      <gwoods@acm.org>      <robohack!woods>
Planix, Inc. <woods@planix.com>; Secrets of the Weird <woods@weird.com>