# 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);
# 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;