Also post-process pages.html. I'm gonna kill it, but it's not done yet

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

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index 0a126bd..16425d0 100755 (executable)
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -199,7 +199,7 @@ sub handle_page {
 ###
 ### Post-processsing common to all pages
 ###
-map {push @allfiles,$_} qw(html/index.html html/faq.html html/publis.html);
+map {push @allfiles,$_} qw(html/index.html html/faq.html html/publis.html html/pages.html);
 
 foreach my $file (@allfiles) {
     open FROM,"$file" || die;