Re: Add anchors in HTML documentation

[Ludovic Courtès]

Hi,

Christian Miller <christian.miller@dadoes.de> skribis:

>> I agree that anchor symbols in the text would help.  We’d need to tweak
>> the Texinfo output and/or use @anchor more frequently in the Texinfo
>> source of the manual.
>
> It should do it automatically instead of using @anchor everytime,
> since this would be repetitive.  I also saw that Emacs has sometimes
> the same problem.  If this affects Texinfo to generate a different
> output, we may should move it to the Texinfo ML (do they have one?).
> Therefore not only Guix would profit from it.

Yes, there’s bug-texinfo@gnu.org if you feel like bringing it up there.
:-)

Ludo’.