On Thu, Dec 16, 2021 at 11:46:08AM -0800, Per Bothner wrote: > I know nothing about it - appears to have been added by Gavin: > > 2020-11-25 Gavin Smith <[email protected]> > > data-manual attribute > > * tp/Texinfo/Convert/HTML.pm (_convert_xref_commands): > Set data-manual attribute instead of class="texi-manual" > on links to other Texinfo manuals. >
The purpose of this was to support locally installed HTML manuals better. The idea was that the contents of the data-manual attribute could be used for the name of a manual to be found in a search path. Use of data-* attributes was suggested in another thread and is valid HTML5: https://developer.mozilla.org/en-US/docs/Learn/HTML/Howto/Use_data_attributes https://lists.gnu.org/archive/html/bug-texinfo/2020-10/msg00085.html
