- if($file =~ "^html/faq.*"){
- print TO ' <li class="current"><a href="faq.html"><span>FAQ Page</span></a></li>'."\n";}
- else{
- print TO ' <li><a href="faq.html"><span>FAQ Page</span></a></li>'."\n";}
- print TO $_;
- next;
- }
-# if (m,<li><a href="(doc/)?annotated.html"><span>Data\ Structures</span></a></li>,) {
-# print TO ' <li'.($file =~ m,(doc/)?publis(_[^.]*)?.html, ? " class='current'" :"").'><a href="'.$1.'publis.html"><span>Publications</span></a></li>'."\n";
-# print TO ' <li'.($file =~ m,(doc/)?people.html, ? " class='current'" :"").'><a href="'.$1.'people.html"><span>People</span></a></li>'."\n";
-# print TO ' <li'.($file =~ m,(doc/)?history.html, ? " class='current'" :"").'><a href="'.$1.'history.html"><span>History</span></a></li>'."\n";
-# print TO ' <li'.($file =~ m,(doc/)?contrib.html, ? " class='current'" :"").'><a href="'.$1.'contrib.html"><span>Contrib</span></a></li>'."\n";
-# next;
-# }
- s|<span>Modules</span>|<span>Modules API</span>|g;
- s|<span>Related Pages</span>|<span>Site Plan</span>|g;
-
+ my $tmp_buff="";
+ $tmp_buff .= ' <li><a href="use.html"><span>Using SimGrid</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 .= $_;
+ $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\/tracing.*/
+ || $file =~ /^html\/bindings.*/
+ || $file =~ /^html\/gtnets.*/
+ || $file =~ /^html\/ns3.*/
+ || $file =~ /^html\/modules.*/
+ || $file =~ /^html\/annotated.*/)
+ {
+ $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="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";
+ $tmp_buff .= ' <li><a href="tracing.html"><span>Tracing Simulations</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="bindings.html"><span>Bindings</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="gtnets.html"><span>GTNets</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="ns3.html"><span>NS3</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="use.html">/g;
+
+ }
+
+ # Rework the navbar
+ # Fix the current "button" of buggy Doxygen tabs
+ if($file =~ /^html\/pages.*/)
+ {
+ my $filename = $file;
+ $filename =~ s/html\///g;
+ $filename =~ s/\.html//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|<li.*><a href="pages.html"><span>Related Pages</span></a></li>\n||g;
+ s|<li><a href="modules.html"><span>Modules API</span></a></li>\n||g;
+ s|<li><a href="annotated.html"><span>Data Structures</span></a></li>\n||g;
+ s|<li class="current"><a href="modules.html"><span>Modules API</span></a></li>\n||g;
+ s|<li class="current"><a href="annotated.html"><span>Data Structures</span></a></li>\n||g;
+ s|Related Pages<|Documentation index<|g;
+