X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ea90c9e9fe4e63beee54ce57b3f503e3ebb05f0b..b8892821525cf5204c842476d26f530ddcca4908:/tools/doxygen/doxygen_postprocesser.pl

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index 81f93fadd8..29c500f479 100755
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -3,9 +3,9 @@
 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/people.html
+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/contrib.html index.php 
+                     html/pages.html html/modules.html  index.php 
                      html/GRAS_tut.html);
 
 # GRAS tutorial
@@ -241,7 +241,18 @@ sub handle_page {
 #      print "TAB: $_";
       print TO "$_";
     }
+    if ($current->{'file'} =~ m/^class/) {
+	while (<FROM>) {
+	    last if (m|</div>|);
+	}
+      print TO "$_";	
+    }
     while (<FROM>) {
+      if (m/The documentation for/) {
+	  while (<FROM>) {
+	      last if (m/<p>/);
+	  }
+      }
       print TO "$_";
     }    
     close FROM;
@@ -290,6 +301,7 @@ foreach my $file (@allfiles) {
         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";
         print TO '    <li'.($file =~ m,(doc/)?history.html, ? " class='current'" :"").'><a href="'.$1.'history.html"><span>History</span></a></li>'."\n";
+        print TO '    <li'.($file =~ m,(doc/)?contrib.html, ? " class='current'" :"").'><a href="'.$1.'contrib.html"><span>Contrib</span></a></li>'."\n";
         next;
       }
       s|<span>Modules</span>|<span>Modules API</span>|g;