search.debian.org is broken when used via https

(we get a certificate warning), thus refer to it via http://

diff --git a/dohtml b/dohtml
index c48b40df4cf8138007998bb24ed89b1a9712324d..ecc471c42eb4ee9d0238b145ae1a2d6f67b085ef 100755 (executable)
--- a/dohtml
+++ b/dohtml
@@ -22,7 +22,7 @@ html_header() {
       <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="//search.debian.org/cgi-bin/omega">
+      <form name="p" method="get" action="http://search.debian.org/cgi-bin/omega">
         <p>
           <input type="hidden" name="DB" value="en">
           <input name="P" value="" size="27">