$tmp_buff .= ' <li><a href="javadoc/index.html"><span>Javadoc</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="http://simgrid.gforge.inria.fr/"><span>Website</span></a></li>'."\n";
$tabs = 0;
$tmp_buff .= ' <li><a href="javadoc/index.html"><span>Javadoc</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="http://simgrid.gforge.inria.fr/"><span>Website</span></a></li>'."\n";
$tabs = 0;