On Fri, Aug 23, 2024 at 10:17:33PM +0200, Patrice Dumas wrote:
> On Fri, Aug 23, 2024 at 07:58:04PM +0200, Patrice Dumas wrote:
> > I'll try to come up with some proposal.
>
> Here it is. I may have been too explicit and redundant.
I've committed a revised version of this. I've still got to che
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
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
