From: alegrand <alegrand@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 6 Jul 2010 16:36:42 +0000 (+0000)
Subject: Cope with recent version of doxygen.
X-Git-Tag: v3_5~835
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3e55380beede63739cdf482bca410d875129ae63

Cope with recent version of doxygen.

Recent version of doxygen seem to tranform foo_bar.doc in
foo__bar.html instead of foo_bar.html.

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

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index d412ec9d2e..dac56a5dfa 100755
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -4,7 +4,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/publis.html html/publis__core.html html/publis__extern.html html/publis__intra.html
                      html/pages.html html/modules.html  index.php 
                      html/GRAS_tut.html);
 
@@ -164,11 +164,11 @@ rename("html/modules.new.html","html/modules.html") unless $debug{'rename'};
 
 # the publication pages deserves some special handling too
 my %pub_tabs = ("publis.html"       =>"Reference publications",
-                "publis_core.html"  =>"Other publication about SimGrid",
-                "publis_extern.html"=>"External papers using SimGrid",
-                "publis_intra.html"=>"Internal papers using SimGrid");
+                "publis__core.html"  =>"Other publication about SimGrid",
+                "publis__extern.html"=>"External papers using SimGrid",
+                "publis__intra.html"=>"Internal papers using SimGrid");
 # force ordering
-my @pub_titles = ("publis.html", "publis_core.html", "publis_extern.html", "publis_intra.html");
+my @pub_titles = ("publis.html", "publis__core.html", "publis__extern.html", "publis__intra.html");
 sub handle_pub{
     my $oldname = shift;
     my $newname = $oldname;