Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Cope with recent version of doxygen.
authoralegrand <alegrand@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 6 Jul 2010 16:36:42 +0000 (16:36 +0000)
committeralegrand <alegrand@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 6 Jul 2010 16:36:42 +0000 (16:36 +0000)
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

tools/doxygen/doxygen_postprocesser.pl

index d412ec9..dac56a5 100755 (executable)
@@ -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;