- $tmp_buff .= ' <li><a href="faq.html"><span>FAQ Page</span></a></li>'."\n";
- $tmp_buff .= ' <li><a href="publis.html"><span>Publications</span></a></li>'."\n";
- $tmp_buff .= ' <li><a href="people.html"><span>People</span></a></li>'."\n";
- $tmp_buff .= ' <li><a href="history.html"><span>History</span></a></li>'."\n";
- $tmp_buff .= ' <li><a href="contrib.html"><span>Contrib</span></a></li>'."\n";
- $tmp_buff .= ' <li><a href="http://gforge.inria.fr/projects/simgrid"><span>Simgrid Forge</span></a></li>'."\n";
- $tmp_buff .= ' <li><a href="http://simgrid.gforge.inria.fr/"><span>Home</span></a></li>'."\n";
- $tmp_buff .= ' <li><a href="pages.html"><span>Site Map</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="http://gforge.inria.fr/projects/simgrid"><span>Forge</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="http://simgrid.gforge.inria.fr/"><span>Website</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="pages.html"><span>Documentation index</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="FAQ.html"><span>FAQ</span></a></li>'."\n";