[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Texinfo and error messages

From: Colin Macdonald
Subject: Re: Texinfo and error messages
Date: Thu, 3 Oct 2019 16:28:53 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.1.0

On 2019-10-03 9:35 a.m., Mike Miller wrote:
Using @print seems preferable for multi-line errors, even if we can't
have it in red. And if we prefer @print for multi-line errors, shouldn't
we also use it for one-line errors to be consistent?

Unfortunately I agree with you ;-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]