From d59a8f2b4e1386cfbce3b5ed7c6b523daa79f360 Mon Sep 17 00:00:00 2001
From: navarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 29 Mar 2011 12:07:37 +0000
Subject: [PATCH] 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
---
 tools/doxygen/index_php.pl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/doxygen/index_php.pl b/tools/doxygen/index_php.pl
index 567b95a1a6..4d8a9d05e1 100755
--- 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;
-- 
2.20.1