From e3fb6591308362a62ae7576a90e0ced99f39b7d4 Mon Sep 17 00:00:00 2001 From: Navarrop Date: Tue, 30 Aug 2011 11:13:18 +0200 Subject: [PATCH] Keep the button press. --- tools/doxygen/doxygen_postprocesser.pl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl index 5df7285bc7..d2e925615e 100755 --- 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\/contrib.*/) + || $file =~ /^html\/contrib.*/ + || $file =~ /^html\/installSimgrid.*/ + || $file =~ /^html\/bindings.*/) { my $filename = $file; $filename =~ s/html\///g; -- 2.20.1