To make sure that the output HTML has the proper anchors for use as CSS selectors, it would be nice to distinguish between identical tags coming from different texi commands.
What I did was keep the original tag and add the texi command name as the class attribute of the HTML tag.
<<attachment: 0002-add-relevant-class-attributes-to-the-HTML-export.patch.zip>>
Jean-Christophe Helary ----------------------------------------------- http://mac4translators.blogspot.com @brandelune
