>>>>> 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
--
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4