From cacc5a454e15350dc4aa9defa90ed7425683854a Mon Sep 17 00:00:00 2001 From: Tomas Pospisek Date: Sat, 24 Jan 2015 01:03:47 +0100 Subject: [PATCH] factor out common HTML page creation notice ... into 'html_page_creation_notice' function --- dohtml | 30 +++++++++++++++++++----------- 1 file changed, 19 insertions(+), 11 deletions(-) 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. -- 2.39.2