Patrice Dumas writes:
> On Thu, Aug 22, 2024 at 10:32:05AM +0200, Patrice Dumas wrote:
>> Hello,
>>
>> Here is my proposal:
>>
>> Does it look ok?
>
> Here is a commit that 'implements' that proposal:
>
> https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=e142a9015c7b403b10207f77acacad72a
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
On Sat, Aug 24, 2024 at 08:26:13AM +0300, Eli Zaretskii wrote:
> > Date: Fri, 23 Aug 2024 22:17:33 +0200
> > From: Patrice Dumas
> >
> > +The defaults for the @var{host} and @var{dir} correspond with
> > cross-references
> > +links for a collection of manuals located side by side on a single hos
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
