Hi, Christian Miller <christian.mil...@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-texi...@gnu.org if you feel like bringing it up there. :-) Ludo’.