Add some missing files from postprocesser.

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

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index da9a38c..6481604 100755 (executable)
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -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
-                     html/pages.html html/modules.html  html/annotated.html index.php 
+                     html/pages.html html/modules.html html/annotated.html html/functions.html html/functions_vars.html index.php 
                      html/GRAS_tut.html);
 
 # GRAS tutorial