Resources

".$title."
"; if ($description != "") echo $description."
"; if ($website != "") echo "Website: ".$website."
"; if (file_exists("docs/resources/".$pdffile)) echo "PDFfile: ".$pdffile.""; ?>