factor out HTML closing tags

into 'html_closing_tags' function

diff --git a/dohtml b/dohtml
index 8315a3820f38e66cc869f72032a82f51c7a3b0f2..e1f1c650fe204a4ef405bbf395e3ce2b43e1df80 100755 (executable)
--- a/dohtml
+++ b/dohtml
@@ -30,6 +30,13 @@ Please contact
 EOF
 }
 
+html_closing_tags() {
+       cat <<EOF
+</body>
+</html>
+EOF
+}
+
 realmakepage() {
        local   filter="$1"     # Distributions to list
        local   title="$2"      # Title of page
@@ -87,10 +94,7 @@ EOF
 
        html_page_creation_notice
 
-       cat <<EOF
-</body>
-</html>
-EOF
+       html_closing_tags
 }
 
 makemainpage() {