Re: removing the HTML Xref Mismatch node

2024-10-13 Thread Gavin Smith
On Tue, Oct 01, 2024 at 08:52:18PM +0100, Gavin Smith wrote: > On Mon, Sep 30, 2024 at 09:25:25PM +0100, Gavin Smith wrote: > > This needs more explanation: we certainly do not want to say that > > links generated in HTML output are always to "localhost". > > I saw this was already discussed: > >

Re: removing the HTML Xref Mismatch node

2024-10-01 Thread Gavin Smith
On Mon, Sep 30, 2024 at 09:25:25PM +0100, Gavin Smith wrote: > This needs more explanation: we certainly do not want to say that > links generated in HTML output are always to "localhost". I saw this was already discussed: https://lists.gnu.org/archive/html/bug-texinfo/2024-08/msg00117.html I'm

Re: removing the HTML Xref Mismatch node

2024-10-01 Thread Gavin Smith
On Sat, Aug 24, 2024 at 10:53:29AM +0200, Patrice Dumas wrote: > > In this connection, this text of "HTML Xref Configuration" is > > completely unclear to me: > > > > However, if a manual is not available in that form, anything that is > > available can be used. Here is the search order for e

Re: removing the HTML Xref Mismatch node

2024-09-30 Thread Gavin Smith
On Sat, Aug 24, 2024 at 11:48:08AM +0200, Patrice Dumas wrote: > On Fri, Aug 23, 2024 at 11:01:25PM +0200, Patrice Dumas wrote: > > Hello, > > > > While we are on the subject of HTML Xref, I think that the "HTML Xref > > Mismatch" node should be removed > > > > > > https://www.gnu.org/software/

Re: removing the HTML Xref Mismatch node

2024-08-24 Thread Patrice Dumas
On Fri, Aug 23, 2024 at 11:01:25PM +0200, Patrice Dumas wrote: > Hello, > > While we are on the subject of HTML Xref, I think that the "HTML Xref > Mismatch" node should be removed > > > https://www.gnu.org/software/texinfo/manual/texinfo/html_node/HTML-Xref-Mismatch.html Here is what I propos

Re: removing the HTML Xref Mismatch node

2024-08-24 Thread Patrice Dumas
On Sat, Aug 24, 2024 at 08:43:49AM +0300, Eli Zaretskii wrote: > > Date: Fri, 23 Aug 2024 23:01:25 +0200 > > From: Patrice Dumas > > > > While we are on the subject of HTML Xref, I think that the "HTML Xref > > Mismatch" node should be removed > > > > > > https://www.gnu.org/software/texinfo/m

Re: removing the HTML Xref Mismatch node

2024-08-23 Thread Eli Zaretskii
> Date: Fri, 23 Aug 2024 23:01:25 +0200 > From: Patrice Dumas > > While we are on the subject of HTML Xref, I think that the "HTML Xref > Mismatch" node should be removed > > > https://www.gnu.org/software/texinfo/manual/texinfo/html_node/HTML-Xref-Mismatch.html > > The information is still t

Re: removing the HTML Xref Mismatch node

2024-08-23 Thread Gavin Smith
On Fri, Aug 23, 2024 at 11:01:25PM +0200, Patrice Dumas wrote: > Hello, > > While we are on the subject of HTML Xref, I think that the "HTML Xref > Mismatch" node should be removed > > > https://www.gnu.org/software/texinfo/manual/texinfo/html_node/HTML-Xref-Mismatch.html > > The information i

removing the HTML Xref Mismatch node

2024-08-23 Thread Patrice Dumas
Hello, While we are on the subject of HTML Xref, I think that the "HTML Xref Mismatch" node should be removed https://www.gnu.org/software/texinfo/manual/texinfo/html_node/HTML-Xref-Mismatch.html The information is still true, but I do not think that the solution proposed is useful in practice