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: > > https://lists.gnu.org/archive/html/bug-texinfo/2024-08/msg00117.html > > I'm trying to work on rewording this part of the documentation.
Done.
