On Mon, 12 Jul 2021 at 14:53, Jonathan Wakely wrote: > For me, these items are enough justification to switch away from > texinfo, which produces crap HTML pages with crap anchors. You can't > find out the anchors without inspecting (and searching) the HTML > source. That's utterly stupid. And even after you do that, the anchor > is at the wrong place: > https://gcc.gnu.org/onlinedocs/gcc/Overall-Options.html#index-c > As somebody who spends a lot of time helping users on the mailing > list, IRC, stackoverflow, and elsewhere, this "feature" of the texinfo > HTML has angered me for many years.
To be clear, I give links to users frequently (several times a week, every week, for decades) and prefer to give them a link to specific options. Obviously I link to the online HTML docs rather than telling them an 'info' command to run, because most people don't use info pages or know how to navigate them. That means I can't provide decent links, because the actual option name I'm trying to link to is always off the top of the page. This is simply unacceptable IMHO. Texinfo must go.