search

moveit / moveit_tutorials

A sphinx-based centralized documentation repo for MoveIt
https://moveit.github.io/moveit_tutorials/
BSD 3-Clause "New" or "Revised" License
472 stars 691 forks source link

Remove redundant closing tag #782

Closed henningkayser closed 1 year ago

henningkayser commented 1 year ago

Fixes the html error reported in #779. <embed> is an empty element and must not have an end tag (https://developer.mozilla.org/en-US/docs/Web/HTML/Element/embed#technical_summary)

henningkayser commented 1 year ago

@rhaschke I don't think that you are supposed to add / for closing void tags, self-closing tags don't even exist in HTML. Do we have any need to support xhtml?

rhaschke commented 1 year ago

Thanks for the read. I was expecting HTML to be a subset of XML. For me, not having the self-closing tag, reads strange. Obviously, both are OK.