Re: Add anchors in HTML documentation

Hi, Christian Miller 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

Re: Add anchors in HTML documentation

Hi, > There are anchors for index entries, but you typically need to jump to > > to get the link, or to click on the symbol in a code snippet. I did not think about that. This is even better than what I did. > I agree that

Re: Add anchors in HTML documentation

Hi, Christian Miller skribis: > it would be a nice feature to have actual anchors in the HTML > documentation. I mean with that, that there is an anchor symbol which > upon clicking, copies the exact URL to this section in the HTML > documentation. > > This is useful, since currently I always

Add anchors in HTML documentation

Hello, it would be a nice feature to have actual anchors in the HTML documentation. I mean with that, that there is an anchor symbol which upon clicking, copies the exact URL to this section in the HTML documentation. This is useful, since currently I always need to go to the top of the