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