makemainpage should call html_header() not header()

diff --git a/dohtml b/dohtml
index 5e5be8657a7b50ace724fb67d3adc8d2ec0f8942..9f463a2f8172cd9753dcb8112b5087ab3998d11b 100755 (executable)
--- a/dohtml
+++ b/dohtml
@@ -132,7 +132,7 @@ makemainpage() {
        local   title="$1"      # Title of page
        local   date_time="$2"  # Date
 
        local   title="$1"      # Title of page
        local   date_time="$2"  # Date
 

-       header "$title" "$date_time"
+       html_header "$title" "$date_time"

 
        cat <<EOF
 
 
        cat <<EOF