24 Aug
2007
24 Aug
'07
5:38 a.m.
On Fri, 2007-08-24 at 10:13 +0100, Ross Paterson wrote:
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.
Sorry, uncommitted patches. Duncan