+ if( $_ =~ /<\/ul>/ && $tabs){
+ my $tmp_buff="";
+ $tmp_buff .= ' <li><a href="use.html"><span>Use SimGrid</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 .= $_;
+ $tabs = 0;
+
+ # 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\/options.*/
+ || $file =~ /^html\/bindings.*/
+ || $file =~ /^html\/faq.*/)
+ {
+ $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="options.html"><span>Options & configurations</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="bindings.html"><span>Bindings</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="faq.html"><span>FAQ Page</span></a></li>'."\n";
+ $tmp_buff .= ' </ul></div>'."\n";
+ $tmp_buff .= ' </div>'."\n";
+
+ my $filename = $file;
+ $filename =~ s/html\///g;
+ $filename =~ s/\.html//g;
+ $filename =~ s/publis_.*/publis/g;
+ $tmp_buff =~ s/<li class="current">/<li>/g;
+ $tmp_buff =~ s/<li><a href="$filename.html">/<li class="current"><a href="$filename.html">/g;
+ $tmp_buff =~ s/<li><a href="use.html">/<li class="current"><a href="$filename.html">/g;
+
+ }
+
+ # Rework the navbar
+ # Fix the current "button" of buggy Doxygen tabs
+ if($file =~ /^html\/publis.*/
+ || $file =~ /^html\/people.*/
+ || $file =~ /^html\/history.*/
+ || $file =~ /^html\/contrib.*/)
+ {
+ my $filename = $file;
+ $filename =~ s/html\///g;
+ $filename =~ s/\.html//g;
+ $filename =~ s/publis_.*/publis/g;
+ $tmp_buff =~ s/<li class="current">/<li>/g;
+ $tmp_buff =~ s/<li><a href="$filename.html">/<li class="current"><a href="$filename.html">/g;
+ }
+
+
+ print TO $tmp_buff;
+ next;
+ }
+
+ s|<span>Modules</span>|<span>Modules API</span>|g;
+ s|<span>Related Pages</span>|<span>Site Plan</span>|g;