#
#
# patch "downloads.php"
#  from [b0f551e60a18b33d692b6a9552745114aec3d347]
#    to [e5a5f2ed19625bdfcd5c800b17889c3b956d8d29]
#
============================================================
--- downloads.php	b0f551e60a18b33d692b6a9552745114aec3d347
+++ downloads.php	e5a5f2ed19625bdfcd5c800b17889c3b956d8d29
@@ -113,8 +113,8 @@ END;
         $release = dirname($file);
         echo <<<END
     <dd>
-        <a href="$webdir$file">$name</a><br/>
-        <span style="font-size:75%"<a href="$webdir$release/">&#187; more packages for $release</a></span>
+        <a href="$webdir/$file">$name</a><br/>
+        <span style="font-size:75%"<a href="$webdir/$release/">&#187; more packages for $release</a></span>
     </dd>
 END;
     }