3 ($#ARGV >= 2) or die "Usage: index_php.pl <input-php.in-file> <input-html-file> <output-php-file>";
6 my($level,$label,$name);
16 while(defined($line=<FILE>)) {
17 if($line =~/<div class="tabs">/) {
19 while(defined($line=<FILE>) && !($line =~/<\/div>/)) {
23 $onglets.="<center></center><p><br>\n"
25 if($line =~/<!-- ______BODY_BEGIN______ --!>(.*)$/) {
27 if($tmp =~/(.*)<!-- ______BODY_END______ --!>/) {
31 while(defined($line=<FILE>) && !($line =~/<!-- ______BODY_END______ --!>/)) {
34 $line =~/^(.*)<!-- ______BODY_END______ --!>/;
41 $onglets =~ s/href=\"/href=\"doc\//gi;
42 $onglets =~ s/src=\"/src=\"doc\//gi;
44 $body =~ s/href=\"/href=\"doc\//gi;
45 $body =~ s/src=\"/src=\"doc\//gi;
48 open OUTPUT,"> $output";
50 while(defined($line=<FILE>)) {
52 if($line =~/______ONGLETS______/) {
53 $line =~ s/______ONGLETS______/$onglets/g;
54 } elsif($line =~/______BODY______/) {
55 $line =~ s/______BODY______/$body/g;
57 print OUTPUT "$line\n";