X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/850f95301f96109093c438def7238f07c6ae7d7e..1c990af7381be73a56c9bab672d425fde1861590:/tools/doxygen/index_php.pl

diff --git a/tools/doxygen/index_php.pl b/tools/doxygen/index_php.pl
deleted file mode 100755
index 3a2e6144fd..0000000000
--- a/tools/doxygen/index_php.pl
+++ /dev/null
@@ -1,66 +0,0 @@
-#!/usr/bin/perl -w
-
-($#ARGV >= 2) or die "Usage: index_php.pl <input-php.in-file> <input-html-file> <output-php-file>";
-
-my(@toc);
-my($level,$label,$name);
-
-$inputphp  = $ARGV[0];
-$inputhtml  = $ARGV[1];
-$output = $ARGV[2];
-
-my($onglets) = "";
-my($body) = "";
-
-open FILE,$inputhtml;
-while(defined($line=<FILE>)) {
-    if($line =~/<div id=".*" class="tabs">/) {
-	$onglets = $line;
-	while(defined($line=<FILE>) && !($line =~/<\/div>/)) {
-		$line =~ s/ class="current"//g;
-	    $onglets.=$line;
-	}
-	$onglets.=$line;
-	#$onglets.="<center></center><p><br>\n"
-    } 
-    if($line =~/<!-- ______BODY_BEGIN______ --!>(.*)$/) {
-	$tmp=$1;
-	if($tmp =~/(.*)<!-- ______BODY_END______ --!>/) {
-	    $body .= $1;
-	} else {
-	    $body .= $tmp;
-	    while(defined($line=<FILE>) && !($line =~/<!-- ______BODY_END______ --!>/)) {
-		$body.=$line;
-	    }
-	    $line =~/^(.*)<!-- ______BODY_END______ --!>/;
-	    $body.=$1;
-	}
-    }
-}
-close FILE;
-
-# (?!http) : A zero-width negative look-ahead assertion. 
-# For example "/foo(?!bar)/" matches any occurrence of "foo" that isn’t followed by "bar".
-
-$onglets =~ s/href=\"(?!http)/href=\"doc\//gi;
-$onglets =~ s/src=\"(?!http)/src=\"doc\//gi;
-
-$body =~ s/href=\"(?!http)/href=\"doc\//gi;
-$body =~ s/src=\"(?!http)/src=\"doc\//gi;
-
-open FILE,$inputphp;
-open OUTPUT,"> $output";
-
-while(defined($line=<FILE>)) {
-    chomp $line;
-    if($line =~/______ONGLETS______/) {
-    $onglets =~ s/<li><a href=\"http:\/\/simgrid/<li class=\"current\"><a href=\"http:\/\/simgrid/g;
-	$line =~ s/______ONGLETS______/$onglets/g;
-    } elsif($line =~/______BODY______/) {
-	$line =~ s/______BODY______/$body/g;
-    }
-    print OUTPUT "$line\n";
-}
-
-close(FILE);
-close(OUTPUT);