add missing HTML closing tags

diff --git a/dohtml b/dohtml
index e1f1c650fe204a4ef405bbf395e3ce2b43e1df80..07e5bb3809cb7c070692e071ebad04d1a3418dc8 100755 (executable)
--- a/dohtml
+++ b/dohtml
@@ -161,6 +161,8 @@ To receive all mails sent to release-critical bugs, subscribe to the
 mailing list.
 
 EOF
+
+       html_closing_tags
 }
 
 makepage() {