add link to CSS

[bugscan.git] / dohtml
diff --git a/dohtml b/dohtml

index 1cf69958489e85f0867606d1612fd9def72df96d..19989e164ec24c46cc6a7f54cbd450d30a739888 100755 (executable)
--- a/dohtml
+++ b/dohtml
@@ -11,6 +11,8 @@ html_header() {
  <html>
    <head>
      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+    <link href="http://www.debian.org/debhome.css" rel="stylesheet" type="text/css">
+
      <title>$title, $date</title>
    </head>
  <body bgcolor="white">
@@ -52,7 +54,7 @@ html_header() {
  EOF
  }
  
-html_page_creation_notice() {
+html_end_of_content() {
         cat <<EOF
  </div><!-- end of 'div id="content"'-->
  <hr>
@@ -123,7 +125,7 @@ tags</a>:
  EOF
         ./bugreport -H -l $filter
  
-       html_page_creation_notice
+       html_end_of_content
  
         html_closing_tags
  }
@@ -132,7 +134,7 @@ makemainpage() {
         local   title="$1"      # Title of page
         local   date_time="$2"  # Date
  
-       header "$title" "$date_time"
+       html_header "$title" "$date_time"
  
         cat <<EOF
  
@@ -188,7 +190,7 @@ EOF
  <p clear=both></p>
  EOF
  
-       html_page_creation_notice
+       html_end_of_content
  
         cat <<EOF
  To receive all mails sent to release-critical bugs, subscribe to the