Still bug fixes (broken links for website)

diff --git a/website/download.php.in b/website/download.php.in
index f55145d..d3efe09 100644 (file)
--- a/website/download.php.in
+++ b/website/download.php.in
@@ -61,7 +61,7 @@ $toPrint .= $secondTempArray[0];
 
 
 //Replacing bad hrefs ... I don't know why they actually change from the original content once deployed and invoked from ... 
-$toPrint=str_replace('href="http://simgrid.gforge','href="http://gforge',$toPrint);
+$toPrint=str_replace('href="shownotes','href="https://gforge.inria.fr/frs/shownotes',$toPrint);
 echo $toPrint; } ?>
 </td>
 </table>