On Fri, Aug 24, 2007 at 10:38:08AM +0100, Duncan Coutts wrote:
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.
If I ruled the world, any patch that changed user-visible behaviour would be required to include the corresponding update to the User's Guide. People can't use a feature if it's not advertised; they can't test whether it's working without a precise description of what it's supposed to do. Also, I often find that trying to define the external interface helps with the design itself.