Re add the tab to the index.php

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

diff --git a/tools/doxygen/index_php.pl b/tools/doxygen/index_php.pl
index 567b95a..4d8a9d0 100755 (executable)
--- a/tools/doxygen/index_php.pl
+++ b/tools/doxygen/index_php.pl
@@ -14,9 +14,10 @@ my($body) = "";
 
 open FILE,$inputhtml;
 while(defined($line=<FILE>)) {
-    if($line =~/<div class="tabs">/) {
+    if($line =~/<div id=".*" class="tabs">/) {
        $onglets = $line;
        while(defined($line=<FILE>) && !($line =~/<\/div>/)) {
+               $line =~ s/ class="current"//g;
            $onglets.=$line;
        }
        $onglets.=$line;