On Thu, Aug 23, 2007 at 10:23:21PM -0000, Hackage wrote: > There is now a configure --docdir flag that specifies the documentation > directory independent of the datadir. > > (It's also now documented!) I couldn't find it -- the User's Guide seems not to have been updated since 3rd August.