Keep the button press.

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index 5df7285..d2e9256 100755 (executable)
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -399,7 +399,9 @@ foreach my $file (@allfiles) {
              || $file =~ /^html\/publis.*/ 
              || $file =~ /^html\/people.*/ 
              || $file =~ /^html\/history.*/ 
              || $file =~ /^html\/publis.*/ 
              || $file =~ /^html\/people.*/ 
              || $file =~ /^html\/history.*/ 

-             || $file =~ /^html\/contrib.*/)
+             || $file =~ /^html\/contrib.*/
+             || $file =~ /^html\/installSimgrid.*/
+                 || $file =~ /^html\/bindings.*/)

              {
                      my $filename = $file;
                      $filename =~ s/html\///g;
              {
                      my $filename = $file;
                      $filename =~ s/html\///g;