From: Don Armstrong <don@donarmstrong.com>
Date: Sun, 25 Jan 2015 06:16:11 +0000 (-0800)
Subject: makemainpage should call html_header() not header()
X-Git-Url: https://git.donarmstrong.com/?p=bugscan.git;a=commitdiff_plain;h=41bd18b416d9222f8c40023b01517c5101faebfe

makemainpage should call html_header() not header()
---

diff --git a/dohtml b/dohtml
index 5e5be86..9f463a2 100755
--- 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