From 41bd18b416d9222f8c40023b01517c5101faebfe Mon Sep 17 00:00:00 2001
From: Don Armstrong <don@donarmstrong.com>
Date: Sat, 24 Jan 2015 22:16:11 -0800
Subject: [PATCH] makemainpage should call html_header() not header()

---
 dohtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.39.2