fix release names; thanks Andrew Paradis

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

index 5e5be8657a7b50ace724fb67d3adc8d2ec0f8942..aa8041e8bf434853fae2d818dffbea3c0c607cdf 100755 (executable)
--- a/dohtml
+++ b/dohtml
@@ -11,13 +11,15 @@ html_header() {
  <html>
    <head>
      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+    <link href="//www.debian.org/debhome.css" rel="stylesheet" type="text/css">
+
      <title>$title, $date</title>
    </head>
  <body bgcolor="white">
  <div id="header">
    <div id="upperheader">
      <div id="logo">
-      <a href="http://www.debian.org/" title="Debian Home"><img src="http://www.debian.org/Pics/openlogo-50.png" alt="Debian" width="50" height="61"></a>
+      <a href="//www.debian.org/" title="Debian Home"><img src="//www.debian.org/Pics/openlogo-50.png" alt="Debian" width="50" height="61"></a>
      </div>
      <div id="searchbox">
        <form name="p" method="get" action="http://search.debian.org/cgi-bin/omega">
@@ -32,14 +34,14 @@ html_header() {
    <div id="navbar">
      <p class="hidecss"><a href="#content">Skip Quicknav</a></p>
      <ul>
-       <li><a href="http://www.debian.org/intro/about">About Debian</a></li>
-       <li><a href="http://www.debian.org/distrib/">Getting Debian</a></li>
-       <li><a href="http://www.debian.org/support">Support</a></li>
-       <li><a href="http://www.debian.org/devel/">Developers' Corner</a></li>
+       <li><a href="//www.debian.org/intro/about">About Debian</a></li>
+       <li><a href="//www.debian.org/distrib/">Getting Debian</a></li>
+       <li><a href="//www.debian.org/support">Support</a></li>
+       <li><a href="//www.debian.org/devel/">Developers' Corner</a></li>
      </ul>
    </div>
    <p id="breadcrumbs">
-    <a href="http://www.debian.org/Bugs/">Debian bug tracking system</a>
+    <a href="//www.debian.org/Bugs/">Debian bug tracking system</a>
      &#x2F;
      Debian BTS &mdash; rc bugs status
    </p>
@@ -91,7 +93,7 @@ realmakepage() {
  
  <p>for distribution(s): $descr</p>
  
-<p>You might also want to check out <a href="http://udd.debian.org/bugs/">UDD</a> instead of this page.</p>
+<p>You might also want to check out <a href="//udd.debian.org/bugs/">UDD</a> instead of this page.</p>
  <hr>
  
  <p>
@@ -100,7 +102,7 @@ EOF
         
         cat <<EOF
  </p>
-Explanation for <a href="http://www.debian.org/Bugs/Developer#tags">bug
+Explanation for <a href="//www.debian.org/Bugs/Developer#tags">bug
  tags</a>:
  
  <ul>
@@ -111,12 +113,12 @@ tags</a>:
     <li><strong>R</strong>: unreproducible</li>
     <li><strong>S</strong>: security</li>
     <li><strong>U</strong>: upstream</li>
-   <li><strong>I</strong>: wheezy-ignore or jessie-ignore</li>
+   <li><strong>I</strong>: jessie-ignore or stretch-ignore</li>
  </ul>
  
  <p>
    The second set of tags indicate what releases a bug applies to:
-  O for oldstable (squeeze), S for stable (wheezy), T for testing (jessie),
+  O for oldstable (wheezy), S for stable (jessie), T for testing (stretch),
    U for unstable (sid) or E for experimental.
  </p>
  
@@ -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
  
@@ -178,7 +180,7 @@ EOF
    <li> <a href="debian/contrib.html">contrib</a>
    <li> <a href="debian/non-free.html">non-free</a>
    <li> <a href="other/pseudo.html">pseudo-packages</a>
-       <a href="http://www.debian.org/Bugs/pseudo-packages">(?)</a>
+       <a href="//www.debian.org/Bugs/pseudo-packages">(?)</a>
    <li> <a href="other/all.html">Everything in one page</a>
      <br>
       + <a href="other/stable.html">Only bugs relevant to stable</a>
@@ -192,7 +194,7 @@ EOF
  
         cat <<EOF
  To receive all mails sent to release-critical bugs, subscribe to the
-<a href="http://lists.debian.org/debian-bugs-rc/">debian-bugs-rc</a>
+<a href="//lists.debian.org/debian-bugs-rc/">debian-bugs-rc</a>
  mailing list.
  
  EOF