Mathieu Lirzin (2015-06-10 15:30 +0300) wrote:
> Alex Kost <alez...@gmail.com> writes:
>
>> (Sorry for the delay). I suppose it would be better not to push my
>> redundant patch. Could you just add a line for 'help2man' to your
>> patch?
>
> Your patch is not related to the move, so IMO it would be more
> appropriate to keep a separate commit for your patch.
OK, the power is on your side this time :-) (Ludovic has pushed my patch)
>>> +Modules that deal with the broader GNU system should be in the
>>> +@code{(gnu ...)} name space rather than @code{(guix ...)}.
>>
>> I would use '@dots{}' instead of '...' there, although I see that the
>> real "hardcoded" dots are used in some places of ‘guix.texi’, so I don't
>> really know if we have a convention on that subject.
>
> I looked at the Texinfo manual, and I think '@dots{}' fill its purposes
> when used in text since it's referenced in "Glyphs for text" section. I
> don't know if it's intended to be used in code snippets. I have put
> this glyphs in my patch, but I think it would need more discussions.
Sorry, I didn't meant to force you to change that right away. I'm
totally for discussion.
--
Alex
