- 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;
-# }
+ my $tmp_buff="";
+ $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="faq.html"><span>FAQ Page</span></a></li>'."\n";
+ $tmp_buff .= $_;
+ $tabs = 0;
+
+ # Rework the navbar
+ # Fix the current "button" of buggy Doxygen tabs
+ if($file =~ /^html\/faq.*/
+ || $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;
+ }
+