X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/317e510a99652e7206948bfb80f8b1edd29dcb7c..77fecf4a12de7c801bcc93590a2901cafe74fc85:/tools/doxygen/doxygen_postprocesser.pl diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl index 94720fb2a5..a22e515be0 100755 --- a/tools/doxygen/doxygen_postprocesser.pl +++ b/tools/doxygen/doxygen_postprocesser.pl @@ -5,8 +5,8 @@ use strict; # Add here the pages of the documentation generated by a @page doxygen macro 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/tracing.html html/installSimgrid.html html/bindings.html html/options.html html/use.html html/gtnets.html - html/ns3.html); + html/GRAS_tut.html html/tracing.html html/platform.html html/install.html html/bindings.html + html/options.html html/use.html html/pls.html html/FAQ.html); # GRAS tutorial map {push @extra_files, "html/GRAS_tut_$_.html"} qw (intro @@ -385,18 +385,19 @@ foreach my $file (@allfiles) { $tmp_buff .= '
  • Forge
  • '."\n"; $tmp_buff .= '
  • Website
  • '."\n"; $tmp_buff .= '
  • Documentation index
  • '."\n"; + $tmp_buff .= '
  • FAQ
  • '."\n"; $tmp_buff .= $_; $tabs = 0; # Rework the navbar and add menu for use.html # Fix the current "button" of buggy Doxygen tabs if($file =~ /^html\/use.*/ - || $file =~ /^html\/installSimgrid.*/ + || $file =~ /^html\/install.*/ || $file =~ /^html\/options.*/ || $file =~ /^html\/tracing.*/ + || $file =~ /^html\/platform.*/ || $file =~ /^html\/bindings.*/ - || $file =~ /^html\/gtnets.*/ - || $file =~ /^html\/ns3.*/ + || $file =~ /^html\/pls.*/ || $file =~ /^html\/modules.*/ || $file =~ /^html\/annotated.*/ || $file =~ /^html\/group__.*/ @@ -404,14 +405,14 @@ foreach my $file (@allfiles) { { $tmp_buff .= '
    '."\n"; $tmp_buff .= '
    '."\n"; $tmp_buff .= ' '."\n"; @@ -427,7 +428,8 @@ foreach my $file (@allfiles) { # Rework the navbar # Fix the current "button" of buggy Doxygen tabs - if($file =~ /^html\/pages.*/) + if($file =~ /^html\/pages.*/ + || $file =~ /^html\/FAQ.*/) { my $filename = $file; $filename =~ s/html\///g;