On Jan 5, 2004, at 8:27 PM, Dave Thomas wrote:

>> By the way, configure option --disable-rdoc seems good.
>> --enable-rdoc is better for me (never mind. :-)
>>
>>

How about making it disabled by default for now and to consider making 
it enabled by default again at a later date?  And in any case having 
any explicit 'doc' target to build it on demand.

-J