From: Tomas Pospisek Date: Sat, 24 Jan 2015 00:03:47 +0000 (+0100) Subject: factor out common HTML page creation notice ... X-Git-Url: https://git.donarmstrong.com/?p=bugscan.git;a=commitdiff_plain;h=cacc5a454e15350dc4aa9defa90ed7425683854a factor out common HTML page creation notice ... into 'html_page_creation_notice' function --- diff --git a/dohtml b/dohtml index d3a8bd1..8315a38 100755 --- a/dohtml +++ b/dohtml @@ -2,7 +2,7 @@ htmldir=/org/bugs.debian.org/www/bugscan -header() { +html_header() { local title="$1" # Title of page local date="$2" # Date @@ -21,6 +21,15 @@ header() { EOF } +html_page_creation_notice() { + cat < +This page is automatically generated.
+Please contact +owner@bugs.debian.org for comments. +EOF +} + realmakepage() { local filter="$1" # Distributions to list local title="$2" # Title of page @@ -37,7 +46,7 @@ realmakepage() { filter="$filter $worry" - header "$title" "$date" + html_header "$title" "$date" cat < -This page is automatically generated.
-Please contact -owner@bugs.debian.org for comments. EOF @@ -88,7 +95,7 @@ EOF makemainpage() { - header "$title" "$date" + header "$title" "$time" cat <Only bugs relevant to testing

-


-This page is automatically generated.
-Please contact -owner@bugs.debian.org for comments. +EOF + + html_page_creation_notice + + cat <debian-bugs-rc mailing list.