> On 12 Jul 2023, at 15:30, Jonathan S. Katz wrote:
>
> On 7/12/23 3:08 AM, Daniel Gustafsson wrote:
>> It was noted in 20230712015948.byqaftt57glwk...@awork3.anarazel.de that the
>> errhint example in sources.sgml isn't as helpful as it could be. errhint
>> should use a complete sentence, but t
On 7/12/23 3:08 AM, Daniel Gustafsson wrote:
It was noted in 20230712015948.byqaftt57glwk...@awork3.anarazel.de that the
errhint example in sources.sgml isn't as helpful as it could be. errhint
should use a complete sentence, but the example doesn't, so I propose the
attached change which makes
On Wed, Jul 12, 2023 at 12:08 AM Daniel Gustafsson wrote:
>
> It was noted in 20230712015948.byqaftt57glwk...@awork3.anarazel.de that the
The URL of the link is below [1].
> errhint example in sources.sgml isn't as helpful as it could be. errhint
> should use a complete sentence, but the exampl
It was noted in 20230712015948.byqaftt57glwk...@awork3.anarazel.de that the
errhint example in sources.sgml isn't as helpful as it could be. errhint
should use a complete sentence, but the example doesn't, so I propose the
attached change which makes it so. The style for hints is clearly spelled
