X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2cc20f1526f80e1c731e986a50c5b77fa7e223d8..d2bf78ef3304878995a537b02d90c8f598a5817f:/tools/doxygen/doxygen_postprocesser.pl diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl index f35e84a59a..026d291ff9 100755 --- a/tools/doxygen/doxygen_postprocesser.pl +++ b/tools/doxygen/doxygen_postprocesser.pl @@ -3,9 +3,8 @@ 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/pages.html html/modules.html html/annotated.html html/functions.html html/functions_vars.html index.php +my @extra_files = qw(html/index.html html/pages.html html/modules.html html/annotated.html html/functions.html + html/functions_vars.html index.php html/GRAS_tut.html html/installSimgrid.html html/bindings.html html/options.html html/use.html html/gtnets.html html/ns3.html); @@ -383,14 +382,9 @@ foreach my $file (@allfiles) { if( $_ =~ /<\/ul>/ && $tabs){ my $tmp_buff=""; $tmp_buff .= '
  • Using SimGrid
  • '."\n"; - $tmp_buff .= '
  • FAQ Page
  • '."\n"; - $tmp_buff .= '
  • Publications
  • '."\n"; - $tmp_buff .= '
  • People
  • '."\n"; - $tmp_buff .= '
  • History
  • '."\n"; - $tmp_buff .= '
  • Contrib
  • '."\n"; - $tmp_buff .= '
  • Simgrid Forge
  • '."\n"; - $tmp_buff .= '
  • Home
  • '."\n"; - $tmp_buff .= '
  • Site Map
  • '."\n"; + $tmp_buff .= '
  • Forge
  • '."\n"; + $tmp_buff .= '
  • Website
  • '."\n"; + $tmp_buff .= '
  • Documentation index
  • '."\n"; $tmp_buff .= $_; $tabs = 0; @@ -429,17 +423,11 @@ foreach my $file (@allfiles) { # Rework the navbar # Fix the current "button" of buggy Doxygen tabs - if($file =~ /^html\/publis.*/ - || $file =~ /^html\/faq.*/ - || $file =~ /^html\/people.*/ - || $file =~ /^html\/history.*/ - || $file =~ /^html\/contrib.*/ - || $file =~ /^html\/pages.*/) + if($file =~ /^html\/pages.*/) { my $filename = $file; $filename =~ s/html\///g; $filename =~ s/\.html//g; - $filename =~ s/publis_.*/publis/g; $tmp_buff =~ s/
  • /
  • /g; $tmp_buff =~ s/
  • /
  • /g; } @@ -454,7 +442,7 @@ foreach my $file (@allfiles) { s|
  • Data Structures
  • \n||g; s|
  • Modules API
  • \n||g; s|
  • Data Structures
  • \n||g; - s|Related Pages<|Site Map<|g; + s|Related Pages<|Documentation index<|g; print TO $_; }