From c6db5e4707c2f11ef0b0ecfd49ef84d07a37db3c Mon Sep 17 00:00:00 2001 From: alegrand Date: Sun, 28 Nov 2010 21:22:48 +0000 Subject: [PATCH] Cope with recent doxygen modifications... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8719 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- tools/doxygen/doxygen_postprocesser.pl | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl index dac56a5dfa..fb7a566f80 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); @@ -148,7 +148,7 @@ while ($line = ) { print OUT $line; } -print OUT "
\n
    \n"; +print OUT "
    \n
      \n"; foreach $current (@{ ${$top->{'down'}}[0]->{'down'} }) { print OUT "
    • {'file'}\">$current->{'label'}
    • \n"; } @@ -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; @@ -184,7 +184,7 @@ sub handle_pub{ print OUT $line; } - print OUT "
      \n
        \n"; + print OUT "
        \n
          \n"; foreach my $page (@pub_titles) { print OUT " ".($pub_tabs{$page})."\n"; } @@ -219,7 +219,7 @@ sub handle_page { my $lvl_it=$level; while ($lvl_it >= 0) { my $father = $iterator->{'up'}; - $tabs[$lvl_it] = "
          \n
            \n"; + $tabs[$lvl_it] = "
            \n
              \n"; foreach my $bro (@{$father->{'down'}}) { $tabs[$lvl_it] .= " {'file'}\">$bro->{'label'}\n"; } @@ -228,7 +228,7 @@ sub handle_page { $lvl_it--; } if (defined $current->{'down'}) { # there's some kid. Display them too - $tabs[$level+1] = "
              \n
                \n"; + $tabs[$level+1] = "
                \n