X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/852cb86555ad1fa1e8c13fefffa3b23c8806abc5..e501e032d9d5ca23f99cb7dad9832b616fb0145c:/tools/doxygen/doxygen_postprocesser.pl

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;