Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add the faq page to tabs.
[simgrid.git] / tools / doxygen / doxygen_postprocesser.pl
index 7403f89..da9a38c 100755 (executable)
@@ -5,7 +5,7 @@ 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
 # 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  index.php 
+                     html/pages.html html/modules.html  html/annotated.html index.php 
                      html/GRAS_tut.html);
 
 # GRAS tutorial
                      html/GRAS_tut.html);
 
 # GRAS tutorial
@@ -301,6 +301,8 @@ handle_page($top,-2);# skip roots (we have 2 roots) in level counting
 map {push @allfiles,$_} @extra_files;
 print "All files: ".(join(", ",@allfiles))."\n" if $debug{'parse'};
 
 map {push @allfiles,$_} @extra_files;
 print "All files: ".(join(", ",@allfiles))."\n" if $debug{'parse'};
 
+my $tabs;
+
 foreach my $file (@allfiles) {
     $file =~ s/.html/.handlepage.html/ if $debug{'rename'}; # Take right name if debugging
        
 foreach my $file (@allfiles) {
     $file =~ s/.html/.handlepage.html/ if $debug{'rename'}; # Take right name if debugging
        
@@ -327,6 +329,23 @@ foreach my $file (@allfiles) {
                next;
              }
       }
                next;
              }
       }
+      if($file =~ "^html/faq.*"){
+               if ($_ =~ /[\ ]*<li class="current">.*/) {
+               $_ =~ s/ class="current"//g;
+               print TO $_;
+               next;
+             }
+      }
+      if( $_ =~ /<div.*class="tabs">/){$tabs = 1;}
+      if( $_ =~ /<\/div>/){$tabs = 0;}
+      if( $_ =~ /<\/ul>/ && $tabs){
+               if($file =~ "^html/faq.*"){
+               print TO '      <li class="current"><a href="faq.html"><span>FAQ&#160;Page</span></a></li>'."\n";}
+               else{
+               print TO '      <li><a href="faq.html"><span>FAQ&#160;Page</span></a></li>'."\n";}
+               print TO $_;
+               next;
+      }
 #      if (m,<li><a href="(doc/)?annotated.html"><span>Data\&nbsp;Structures</span></a></li>,) {
 #        print TO '    <li'.($file =~ m,(doc/)?publis(_[^.]*)?.html, ? " class='current'" :"").'><a href="'.$1.'publis.html"><span>Publications</span></a></li>'."\n";
 #        print TO '    <li'.($file =~ m,(doc/)?people.html, ? " class='current'" :"").'><a href="'.$1.'people.html"><span>People</span></a></li>'."\n";
 #      if (m,<li><a href="(doc/)?annotated.html"><span>Data\&nbsp;Structures</span></a></li>,) {
 #        print TO '    <li'.($file =~ m,(doc/)?publis(_[^.]*)?.html, ? " class='current'" :"").'><a href="'.$1.'publis.html"><span>Publications</span></a></li>'."\n";
 #        print TO '    <li'.($file =~ m,(doc/)?people.html, ? " class='current'" :"").'><a href="'.$1.'people.html"><span>People</span></a></li>'."\n";