Re: Fwd: Re: Issue 3719 in lilypond: Patch: CG: Add comment about git-cl editor

[David Kastrup]

Urs Liska <address@hidden> writes:

> Am 23.12.2013 13:02, schrieb David Kastrup:
>> Urs Liska <address@hidden> writes:
>>
>>> Am 23.12.2013 12:45, schrieb Urs Liska:
>>>
>>>> Attached is an updated patch using @command instead of @code.
>>>> Rebased patch passes make doc (issues in other subthread solved).
>>>>
>>>> Thanks for pushing
>>>>
>>>> Urs
>>>
>>> Sorry, found an error after reading the sent email: One @code was
>>> still left. Corrected in attachment.
>>
>> And EDITOR is no command.  But I'll fix that up myself: it seems silly
>> chasing you around the bush for that.
>>
>
> Thank you.
>
> Is there an authoritative list of texinfo markups to be used?

No idea.  I used @env here, and it seems like it is the first use of it.
Which seems fishy.  However, it appears like makeinfo learnt about it in
the same version that it got to know about @command (which is used), and
we demand 4.11 anyway in configure.ac.  So unless texi2html is making
trouble, @env should be fine.

I would not have pushed this to the stable branch, but well...  I put a
"Signed-off-by" on the commit message to make clear that if this blows
up, I'm at fault...

-- 
David Kastrup