Cope with recent doxygen modifications...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8719 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index dac56a5..fb7a566 100755 (executable)
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -4,7 +4,7 @@ use strict;
 
 # Add here the pages of the documentation generated by a @page doxygen macro
 my @extra_files = qw(html/index.html html/faq.html html/history.html html/contrib.html html/people.html
-                     html/publis.html html/publis__core.html html/publis__extern.html html/publis__intra.html
+                     html/publis.html html/publis_core.html html/publis_extern.html html/publis_intra.html
                      html/pages.html html/modules.html  index.php 
                      html/GRAS_tut.html);
 
@@ -148,7 +148,7 @@ while ($line = <IN>) {
   print OUT $line;
 }
 
-print OUT "<div class=\"tabs\">\n  <ul>\n";
+print OUT "<div class=\"tabs\">\n  <ul class=\"tablist\">\n";
 foreach $current (@{ ${$top->{'down'}}[0]->{'down'} }) {
   print OUT "   <li><a href=\"$current->{'file'}\"><span>$current->{'label'}</span></a></li>\n";
 }
@@ -164,11 +164,11 @@ rename("html/modules.new.html","html/modules.html") unless $debug{'rename'};
 
 # the publication pages deserves some special handling too
 my %pub_tabs = ("publis.html"       =>"Reference publications",
-                "publis__core.html"  =>"Other publication about SimGrid",
-                "publis__extern.html"=>"External papers using SimGrid",
-                "publis__intra.html"=>"Internal papers using SimGrid");
+                "publis_core.html"  =>"Other publication about SimGrid",
+                "publis_extern.html"=>"External papers using SimGrid",
+                "publis_intra.html"=>"Internal papers using SimGrid");
 # force ordering
-my @pub_titles = ("publis.html", "publis__core.html", "publis__extern.html", "publis__intra.html");
+my @pub_titles = ("publis.html", "publis_core.html", "publis_extern.html", "publis_intra.html");
 sub handle_pub{
     my $oldname = shift;
     my $newname = $oldname;
@@ -184,7 +184,7 @@ sub handle_pub{
        print OUT $line;
     }
 
-    print OUT "<div class=\"tabs\">\n  <ul>\n";
+    print OUT "<div class=\"tabs\">\n<ul class=\"tablist\">\n";
     foreach my $page (@pub_titles) {
        print OUT "         <li".($page eq $oldname? " class=\"current\"":"" )."> <a href=\"$page\"><span>".($pub_tabs{$page})."</span></a></li>\n";
     }
@@ -219,7 +219,7 @@ sub handle_page {
     my $lvl_it=$level;
     while ($lvl_it >= 0) {
       my $father = $iterator->{'up'};
-      $tabs[$lvl_it] = "<div class=\"tabs\">\n  <ul>\n";
+      $tabs[$lvl_it] = "<div class=\"tabs2\">\n<ul class=\"tablist\">\n";
       foreach my $bro (@{$father->{'down'}}) {
         $tabs[$lvl_it] .= "  <li".($bro==$iterator?" class=\"current\"":"")."> <a href=\"$bro->{'file'}\"><span>$bro->{'label'}</span></a></li>\n";      
       }
@@ -228,7 +228,7 @@ sub handle_page {
       $lvl_it--;
     }
     if (defined $current->{'down'}) { # there's some kid. Display them too
-      $tabs[$level+1] = "<div class=\"tabs\">\n  <ul>\n";
+      $tabs[$level+1] = "<div class=\"tabs2\">\n  <ul class=\"tablist\">\n";
       foreach my $kid (@{$current->{'down'}}) {
         $tabs[$level+1] .= "  <li> <a href=\"$kid->{'file'}\"><span>$kid->{'label'}</span></a></li>\n";      
       }