From: Charles Comstock <cc1@...>
Date: 2004-07-09T08:47:32+09:00
Subject: Re: While we're discussing 'ri'...

Mauricio Fern�ndez wrote:

> 
> Some of the core devels opposed that since they build several times a
> day and don't want to waste time regenerating ri data files.
> OTOH there could be another target with no ri docs for them...
> 

Right I understand why it would bother them, but it doesn't seem to hard 
to make it --disable-install-docs as a configure option and then 
everytime they do a new make they don't have that extra step.

Charles Comstock