RE: Make doc failing

[James Lowe]

Phil,
________________________________________
From: Phil Holmes address@hidden
Sent: 31 July 2011 10:14
To: James Lowe; address@hidden
Subject: Re: Make doc failing

----- Original Message -----
From: "James Lowe" <address@hidden>
To: <address@hidden>
Sent: Sunday, July 31, 2011 1:40 AM
Subject: Make doc failing


> Hello,

> I'm not able to make doc. The last time it worked was around wed last week
> (I don't make doc that often).

[snip]

FYI I ran a completely new build last night UK time - nuked the build
directory, pulled git and ran make; make website and make doc.  All was OK.

--


Thanks, I have done that just now and it does indeed build ok.

James