Re: Failed make doc for Patchy

[David Kastrup]

"Phil Holmes" <address@hidden> writes:

> ----- Original Message ----- 
> From: "David Kastrup" <address@hidden>
> To: <address@hidden>
> Sent: Wednesday, March 14, 2012 7:16 PM
> Subject: Re: Failed make doc for Patchy
>
>
> James <address@hidden> writes:
>
>> I am not at home but Patchy complained just now.
>
>
> Shall I run patchy and check the logfiles?

I am currently running "make doc", but it does not look like it is going
to finish fast.  But I am going to bed now, so when I look next, it
might be finished.  It is not a build from an empty tree, though, just
from make all doc-clean doc.

-- 
David Kastrup