On Jan 12, 2004, at 9:13, Eivind Eklund wrote:
> DESTDIR is not relevant for ~/.rdoc, really - it is used only during
> install, and is a pure prefix for installed files.  DESTDIR is used in
> release engineering, chroot-building, and cross-machine building for
> use with e.g. NFS mounts.

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?

Cheers

Dave