Re: Failed make doc for Patchy

[David Kastrup]

David Kastrup <address@hidden> writes:

> 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.

I backed it out of staging.  Try again.

-- 
David Kastrup