[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New warnings from texinfo 7
|
From: |
Robert Pluim |
|
Subject: |
Re: New warnings from texinfo 7 |
|
Date: |
Tue, 08 Nov 2022 14:19:30 +0100 |
>>>>> On Tue, 08 Nov 2022 14:25:26 +0200, Eli Zaretskii <eliz@gnu.org> said:
>> From: Robert Pluim <rpluim@gmail.com>
>> Date: Tue, 08 Nov 2022 10:39:53 +0100
>>
>>
>> Texinfo 7 now warns about @xref and similar inside @w. The only place
>> this affects in our documentation is ede.texi. Any objections to the
>> following?
Eli> None. They were mistakes to begin with, AFAIU.
OK, pushed
Eli> Thanks.
Eli> P.S. Btw, making the text of an @item be @xref is bad Texinfo style,
Eli> it only looks good in the HTML output.
I didnʼt know that. Fixing that looks like a bigger job.
Robert
--