From: Navarrop Date: Thu, 31 Mar 2011 13:59:14 +0000 (+0200) Subject: Clean tabs for publis.html X-Git-Tag: v3.6_beta2~76 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a7d73002840891e353211db97a0d8c1dba86148c?hp=db573cc6c818b0f3c9c81b347c034fec7a42c336 Clean tabs for publis.html --- 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/
  • /
  • /g; $_ =~ s/
  • /
  • /g; - } - + } $_ =~ s/
  • /
  • /g; if($file =~ /^html\/pages\..*/){ $_ =~ s/
  • /
  • /g; } } + + if($file =~ /^html\/publis.*/){ + $_ =~ s/
    /
    /g; + $_ =~ s/
    /
    /g; + } # Add the FAQ PUBLIS PEOPLE HISTORY and CONTRIB to the top navbar. if( $_ =~ //){