[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New warnings from texinfo 7
|
From: |
Eli Zaretskii |
|
Subject: |
Re: New warnings from texinfo 7 |
|
Date: |
Tue, 08 Nov 2022 14:25:26 +0200 |
> 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?
None. They were mistakes to begin with, AFAIU.
Thanks.
P.S. Btw, making the text of an @item be @xref is bad Texinfo style,
it only looks good in the HTML output.