On Jan 12, 2004, at 13:28, J.Herre wrote:

>
> On Jan 12, 2004, at 8:12 AM, Dave Thomas wrote:
>
>> I've checked in a patch, but I have no idea if it does what is 
>> needed. Could someone with experience of all this DESTDIR stuff try 
>> it out for me?
>>
>
> Here's 2 more cents.  The output dir used by rdoc should be set via a 
> command line option and then set to use DESTDIR via the Makefile.  
> This will be more clear for future maintainers because it explicitly 
> spells out what is happening without reference to the rdoc code.


Does the existing patch work, though...


Cheers

Dave