Re: What's the deal with the LSR update?

[David Kastrup]

David Kastrup <address@hidden> writes:

> Neil Puttock <address@hidden> writes:
>
>> On 1 January 2012 19:37, David Kastrup <address@hidden> wrote:
>>
>>> Done, so let's see if this gets through to master, and if it does, you
>>> might want to try the LSR updating procedure again.
>>
>> You need to remove the comment block at the top, the texidoc
>> translations and `% begin verbatim' comments.  These are all added
>> automatically to the generated snippets.
>
> Oh great.

Should be done now.

-- 
David Kastrup