On Jan 5, 2004, at 6:23 PM, Dave Thomas wrote:

> The last thing I want to do is to make anyone unhappy. I'm more than 
> happy to change the Makefile any way that makes sense. I just couldn't 
> come up with anything better.
>
>

What about using autoconf?

./configure --disable-rdoc

-J