if($file =~ /^html\/index\..*/){
$_ =~ s/<li class="current">/<li>/g;
$_ =~ s/<li><a href="index.html">/<li class="current"><a href="index.html">/g;
if($file =~ /^html\/index\..*/){
$_ =~ s/<li class="current">/<li>/g;
$_ =~ s/<li><a href="index.html">/<li class="current"><a href="index.html">/g;
$_ =~ s/<li class="current"><a href="pages.html">/<li><a href="pages.html">/g;
if($file =~ /^html\/pages\..*/){
$_ =~ s/<li><a href="pages.html">/<li class="current"><a href="pages.html">/g;
}
}
$_ =~ s/<li class="current"><a href="pages.html">/<li><a href="pages.html">/g;
if($file =~ /^html\/pages\..*/){
$_ =~ s/<li><a href="pages.html">/<li class="current"><a href="pages.html">/g;
}
}
$tmp_buff .= ' <li><a href="history.html"><span>History</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="contrib.html"><span>Contrib</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="faq.html"><span>FAQ Page</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="history.html"><span>History</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="contrib.html"><span>Contrib</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="faq.html"><span>FAQ Page</span></a></li>'."\n";