From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 27 May 2012 07:38:48 +0000 (+0200)
Subject: there is no publication page in the in-tarball documentation anymore (kill dead code)
X-Git-Tag: v3_8~664
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/52b41ba5f4cbc90aa34bb84e6774e880b00b2776?hp=1205d63d24a268c1cfbe3e1a5fe3794af6e1c1b9

there is no publication page in the in-tarball documentation anymore (kill dead code)
---

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index 7d98a5e89e..d35168f9ab 100755
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -164,45 +164,6 @@ close OUT;
 close IN;
 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");
-# force ordering
-my @pub_titles = ("publis.html", "publis_core.html", "publis_extern.html", "publis_intra.html");
-sub handle_pub{
-    my $oldname = shift;
-    my $newname = $oldname;
-    $newname =~ s/\.html$/.new.html/;
- 
-#    print "Handle_pub($oldname -> $newname)\n";
-    
-    open IN,"html/$oldname" || die "Cannot open $oldname";
-    open OUT,">html/$newname" || die "Cannot open $newname";
-    my $line;
-    while ($line = <IN>) {
-	last if $line =~ /<h1>/;
-	print OUT $line;
-    }
-
-    print OUT "<div class=\"tabs\">\n<ul class=\"tablist\">\n";
-    foreach my $page (@pub_titles) {
-	print OUT "         <li".($page eq $oldname? " class=\"current\"":"" )."> <a href=\"$page\"><span>".($pub_tabs{$page})."</span></a></li>\n";
-    }
-
-    print OUT "  </ul></div>\n";
-    print OUT $line;
-    while ($line = <IN>) {
-	print OUT $line;
-    }
-    close OUT;
-    close IN;
-    rename("html/$newname","html/$oldname") unless $debug{'rename'};
-}
-map {handle_pub($_)} @pub_titles;
-
-
 # Operate the recursion
 sub handle_page {
   my $current=shift;