makemainpage should call html_header() not header()
authorDon Armstrong <don@donarmstrong.com>
Sun, 25 Jan 2015 06:16:11 +0000 (22:16 -0800)
committerDon Armstrong <don@donarmstrong.com>
Sun, 25 Jan 2015 06:16:11 +0000 (22:16 -0800)
dohtml

diff --git a/dohtml b/dohtml
index 5e5be86..9f463a2 100755 (executable)
--- a/dohtml
+++ b/dohtml
@@ -132,7 +132,7 @@ makemainpage() {
        local   title="$1"      # Title of page
        local   date_time="$2"  # Date
 
-       header "$title" "$date_time"
+       html_header "$title" "$date_time"
 
        cat <<EOF