From: Dave Thomas <dave@...>
Date: 2004-01-06T12:25:54+09:00
Subject: Re: Best way to install ri documentation -- please check this


On Jan 5, 2004, at 21:21, J.Herre wrote:
> What about using autoconf?
>
> ./configure --disable-rdoc

That'd be cool, but I'm clueless about autoconf. If folks feel this is 
a good idea, someone else'll have to make the patch...


Cheers

Dave