<HTML>
<HEAD>
<?
if(strcmp($menu,"")==0) {
echo "Downloadage<BR>\n";
}
elseif(strcmp($down,"")==0) {
echo "Selection de la mth de down...<BR>\n";
}
else {
echo "Download<BR>\n";
}
$ftoc= fopen($slide . "toc.txt", "r");
$nb=0;
$ltoc= fgets($ftoc, 1024);
while ((!feof($ftoc))&&($nb!=$p)) {
$ltoc= fgets($ftoc, 1024);
$nb++;
}
$ltoc=substr($ltoc,0,strlen($ltoc)-1);
fclose($ftoc);
$pos= strpos($ltoc,':');
if($pos == 0) {
$pos=strlen($ltoc);
}
$fic= substr($ltoc,0,$pos);
$desc= substr($ltoc,$pos+1);
$pos= strpos($desc,':');
if($pos == 0) {
$pos=strlen($desc);
}
$des= substr($desc,0,$pos);
echo "<TITLE>$des</TITLE>\n";
echo "</HEAD>\n";
echo "<BODY>\n";
$fit=$slide."tmp/".$fic.".jpeg";
$cmd= "/usr/bin/X11/fig2dev -L jpeg '" . $slide;
$cmd= $cmd . $fic . "' '" . $fit . "'";
system($cmd);
echo "<CENTER><IMG SRC='$fit'></CENTER>\n";
echo "<H1>$des</H1>\n";
?>
</BODY>
</HTML>