From a7d73002840891e353211db97a0d8c1dba86148c Mon Sep 17 00:00:00 2001
From: Navarrop <Pierre.Navarro@imag.fr>
Date: Thu, 31 Mar 2011 15:59:14 +0200
Subject: [PATCH 1/1] Clean tabs for publis.html

---
 tools/doxygen/doxygen_postprocesser.pl | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index 515cf5e87c..ff05f060e1 100755
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -359,14 +359,18 @@ foreach my $file (@allfiles) {
 		  if($file =~ /^html\/index\..*/){
 		  	$_ =~ s/<li class="current">/<li>/g;
 		  	$_ =~ s/<li><a href="index.html">/<li class="current"><a href="index.html">/g;
-		  }
-		  
+		  }		  
 		  $_ =~ s/<li class="current"><a href="pages.html">/<li><a href="pages.html">/g;
 		  
 		  if($file =~ /^html\/pages\..*/){
 		  	$_ =~ s/<li><a href="pages.html">/<li class="current"><a href="pages.html">/g;
 		  }
 	  }
+	  
+	  if($file =~ /^html\/publis.*/){
+		  	$_ =~ s/<div class="header">/<div>/g;
+		  	$_ =~ s/<div class="headertitle">/<div>/g;
+	 }
 	
 	  # Add the FAQ PUBLIS PEOPLE HISTORY and CONTRIB to the top navbar.
       if( $_ =~ /<div.*class="tabs">/){
-- 
2.20.1