Follow-up Comment #6, bug #440 (project tex4ht):
Great!
I've added this code as a new domfilter to make4ht. It is also used in the
`common_domfilters` extension. So with the soon to be released make4ht
version, you will just need to use
make4ht -f html5+common_domfilters filename.tex
This extension also fixes other issues, so it is usually a good idea to use
it.
_______________________________________________________
Reply to this item at:
<http://puszcza.gnu.org.ua/bugs/?440>
_______________________________________________
Message sent via/by Puszcza
http://puszcza.gnu.org.ua/
