$value) { $availableLangs[$key] = str_replace(".htm", "", $value); } if (isset($_GET['lang'])) $lang = $_GET['lang']; else $lang = lang_getfrombrowser($availableLangs, 'de', null, false); // Load HTML document to PHP DOMDocument $content = new DOMDocument(); $content->load(__DIR__ . "/$sourceFolder/$lang.htm"); // Find out title $title = $content->getElementsByTagName("h1")[0]->nodeValue; // Generate PDF if need be. if (filemtime(__DIR__ . "/tex/$lang/$sourceTeXFile.tex") -5000 < filemtime(__DIR__ . "/$sourceFolder/$lang.htm")) { foreach ($content->getElementsByTagName("section") as $c) { DOMtoTeX($c, "tex/$lang"); } runPDF("tex/$lang", "$sourceFile", "$sourceFile", $title, $lang, true); } // Print HTML page. $content = file_get_contents(__DIR__ . "/$sourceFolder/$lang.htm"); $content = str_replace("\\today", date("Y-m-d", filemtime(__DIR__ . "/$sourceFolder/$lang.htm")), $content); echo printHTMLPage("about:" . $title, $content, $lang, $availableLangs); ?>