[Top][All Lists]

[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.


reply via email to

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