|
From: | Phil Holmes |
Subject: | Re: Make doc failing |
Date: | Sun, 31 Jul 2011 10:14:03 +0100 |
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.
-- Phil Holmes
[Prev in Thread] | Current Thread | [Next in Thread] |