Mauricio FernáÏdez 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