<?php require_once '../config.php'; require 'lib/Translation.class.php'; $benchmark_start = microtime_float(); // make overview page $source = CONTENTDIR . "api_en/environment/"; $path = REFERENCEDIR . "/environment/"; make_necessary_directories($path . "images/file"); $page = new Page("Environment (IDE)", "Environment", "Environment", '../../'); $page->content(file_get_contents($source . "index.html")); $page->language("en"); writeFile('reference/environment/index.html', $page->out()); copydirr($source . '/images', $path . '/images'); $benchmark_end = microtime_float(); $execution_time = round($benchmark_end - $benchmark_start, 4); ?> <h2>Environment page generation Successful</h2> <p>Generated files in <?php echo $execution_time; ?> seconds.</p>
function writeFile($filename, $content) { if (strpos($filename, BASEDIR) !== 0) { # force basedir $filename = BASEDIR . $filename; } #echo $filename . "\n"; #echo $content . "\n"; make_necessary_directories($filename); $fp = fopen($filename, 'w'); fwrite($fp, $content); fclose($fp); }
$page->content(file_get_contents($index)); make_necessary_directories(BASEDIR . $lib_dir . '/images/include.php'); writeFile($lib_dir . 'index.html', $page->out()); if (is_dir($lib_dir . 'images')) { rmdir($lib_dir . 'images'); } mkdir($lib_dir . 'images', 0755); copydirr(CONTENTDIR . "api_en/libraries/images", $lib_dir . 'images'); // copy over the file for the contributed libraries require_once './contributions.php'; copy(CONTENTDIR . "static/libraries.html", $lib_dir . 'libraries.html'); // For each Library foreach ($libraries as $lib) { $source = "api_en/LIB_{$lib}"; $destination = "libraries/{$lib}"; make_necessary_directories(REFERENCEDIR . $destination . '/images/include'); // template and copy index $index = CONTENTDIR . $source . '/index.html'; if ($lib == 'pdf' || $lib == 'dxf') { //$page = new Page(strtoupper($lib) . ' \\ Libraries', 'Libraries', 'Library-index'); $page = new Page(strtoupper($lib) . ' \\ Libraries', 'Libraries'); } else { //$page = new Page(ucfirst($lib) . ' \\ Libraries', 'Library-index'); $page = new Page(ucfirst($lib) . ' \\ Libraries', 'Libraries'); } //$page->language("en"); $page->content(file_get_contents($index)); writeFile('reference/' . $destination . '/index.html', $page->out()); // copy images directory //copydirr(CONTENTDIR.$source.'/images', REFERENCEDIR.$destination.'/images'); }