Make sure that the new contrib page gets postprocessed. Arnaud could you please push...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1937 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index 3b6dc7c..a67169d 100755 (executable)
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -2,6 +2,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/publis.html html/pages.html html/modules.html html/contrib.html index.php);
+
 my %debug;
 $debug{'parse'} = 0; # show how we parse the module tree
 $debug{'input'} = 0; # display the resulting tree
@@ -204,7 +207,7 @@ handle_page($top,-2);# skip roots (we have 2 roots) in level counting
 ###
 ### Post-processsing common to all pages
 ###
-map {push @allfiles,$_} qw(html/index.html html/faq.html html/publis.html html/pages.html html/modules.html index.php);
+map {push @allfiles,$_} @extra_files;
 
 foreach my $file (@allfiles) {
     open FROM,"$file" || die;