\n";
$filename_jpg = "$poster.jpg";
if (file_exists("$dirname/$filename_jpg")) {
print"
\n";
}
else{
print"
\n";
}
echo "
\n";
$filename_pdf = "$poster.pdf";
if (file_exists("$dirname/$filename_pdf")) {
include "$dirname/$poster.txt"; print "
(pdf)\n";
}
else{include "$dirname/$poster.txt"; print "
(ps)\n";
}
echo "
\n";
echo "
\n";
echo "\n";
?>