Gift from Laurent and me ;)

diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index a5388c8..c1d81c1 100644 (file)
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -306,7 +306,7 @@ COMMAND chmod g+rw -R doc/
 COMMAND chmod a+rX -R doc/
 COMMAND rsync --verbose --cvs-exclude --compress --delete --delete-excluded --rsh=ssh --ignore-times --recursive --links --perms --times --omit-dir-times doc/html/ scm.gforge.inria.fr:/home/groups/simgrid/htdocs/doc/ || true
 COMMAND scp doc/index.php doc/webcruft/robots.txt scm.gforge.inria.fr:/home/groups/simgrid/htdocs/
-COMMAND scp doc/html/simgrid_modules2.png doc/html/simgrid_modules.png doc/webcruft/simgrid_logo.png doc/webcruft/simgrid_logo_smaller.png doc/webcruft/simgrid_logo_small.png scm.gforge.inria.fr:/home/groups/simgrid/htdocs/
+COMMAND scp doc/html/simgrid_modules2.png doc/html/simgrid_modules.png doc/webcruft/simgrid_logo.png doc/webcruft/fish.gif doc/webcruft/simgrid_logo_small.png scm.gforge.inria.fr:/home/groups/simgrid/htdocs/
 WORKING_DIRECTORY "${CMAKE_HOME_DIRECTORY}"
 )
 add_custom_target(sync-gforge-dtd

diff --git a/doc/index.php.in b/doc/index.php.in
index 1ab71a1..a12483c 100644 (file)
--- a/doc/index.php.in
+++ b/doc/index.php.in
@@ -67,8 +67,12 @@ echo '<?xml version="1.0" encoding="UTF-8"?>';
 
        <tr>
         <td style="text-align: left; vertical-align: top;"><a href="http://<?php echo $domain; ?>/projects/<?php echo $group_name; ?>"><img
-          src="<?php if (date('m') == '04'  && date('d') == '01')  {echo 'simgrid_logo_smaller.png';} else {echo 'simgrid_logo_small.png';};?>"
-          style="text-decoration: underline;" border="0" alt="SimGrid"></a><br>
+          src="simgrid_logo_small.png"
+          style="text-decoration: underline;" border="0" alt="SimGrid">
+          <?php if (date('m') == '04'  && date('d') == '01')  {echo '<img style="text-decoration: underline;" border="0" alt="SimGrid" src="fish.gif">';}?>
+          </a><br>
+        </td>
+         <td style="text-align: left; vertical-align: top;">
         </td>
                <td style="text-align: right; vertical-align: top;"><a href="http://<?php echo $domain; ?>"><img src="http://<?php echo $domain; ?>/themes/inria/images/logo.png" border="0" alt="gforge INRIA" width="198" height="52" /></a></td>
        </tr>

diff --git a/doc/webcruft/fish.gif b/doc/webcruft/fish.gif
new file mode 100644 (file)
index 0000000..ea2f6d8
Binary files /dev/null and b/doc/webcruft/fish.gif differ