# Add here the pages of the documentation generated by a @page doxygen macro
my @extra_files = qw(html/index.html html/pages.html html/modules.html html/annotated.html html/functions.html
html/functions_vars.html index.php
- html/GRAS_tut.html html/tracing.html html/installSimgrid.html html/bindings.html
+ html/GRAS_tut.html html/tracing.html html/install.html html/bindings.html
html/options.html html/use.html html/pls.html html/FAQ.html);
# GRAS tutorial
# Rework the navbar and add menu for use.html
# Fix the current "button" of buggy Doxygen tabs
if($file =~ /^html\/use.*/
- || $file =~ /^html\/installSimgrid.*/
+ || $file =~ /^html\/install.*/
|| $file =~ /^html\/options.*/
|| $file =~ /^html\/tracing.*/
|| $file =~ /^html\/bindings.*/
{
$tmp_buff .= ' <div class="tabs_group_use">'."\n";
$tmp_buff .= ' <ul class="tablist">'."\n";
- $tmp_buff .= ' <li><a href="installSimgrid.html"><span>Install SimGrid</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="install.html"><span>Install SimGrid</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="modules.html"><span>Modules API</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="annotated.html"><span>Data Structures</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="options.html"><span>Options & configurations</span></a></li>'."\n";