doc: Use empty-element <hr/> tag.
commita41eb7ddd42659989042e767004bcf6185ac9a65
authorRalph Giles <giles@thaumas.net>
Tue, 30 Jul 2019 21:41:23 +0000 (30 14:41 -0700)
committerErik de Castro Lopo <erikd@mega-nerd.com>
Sun, 4 Aug 2019 07:05:09 +0000 (4 17:05 +1000)
tree0b3a04de40e7008a14f2261a87760d71e3a31f37
parente229fb4e56945a697f038e4de7d7515dcf1c1462
doc: Use empty-element <hr/> tag.

Improve the conformance of the xhtml generated by doxygen by
using the self-closing <hr/> tag in the custom footer.

Without this, xmllint complains about </body> and </html> end
tags inside the still-only <hr>. That syntax is allowed in
html but not xml.
doc/doxygen.footer.html