Re: Failed make doc for Patchy

[David Kastrup]

James <address@hidden> writes:

> Hello,
>
> On 14 March 2012 20:04, David Kastrup <address@hidden> wrote:
>> "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've just done it and I get this file that causes the complaints

Yup, echo turns \v into vertical tab.  Really daft.

bb726728d07f5d155e061b360101028c4a4618e8 will need to get done
differently.

-- 
David Kastrup