<?php require '../config.php'; $benchmark_start = microtime_float(); // make troubleshooting page $source = CONTENTDIR . "static/"; #$path = BASEDIR; $page = new LocalPage('Copyright', "Copyright", "Copyright", './'); $page->content(file_get_contents($source . "copyright.html")); writeFile('distribution/copyright.html', $page->out()); $page = new LocalPage('People', "People", "People", '../'); $page->content(file_get_contents($source . "people.html")); writeFile('distribution/about/people.html', $page->out()); $benchmark_end = microtime_float(); $execution_time = round($benchmark_end - $benchmark_start, 4); ?> <h2>Local static pages generation successful!</h2> <p>Generated files in <?php echo $execution_time; ?> seconds.</p>
$benchmark_start = microtime_float(); $libraries = array('net', 'serial', 'video', 'dxf', 'pdf', 'sound', 'io'); $lib_dir = DISTDIR . 'libraries'; // Create Library index $index = CONTENTDIR . "api_en/libraries/index.html"; $page = new LocalPage('Libraries', 'Libraries', 'Libraries', '../'); $page->content(file_get_contents($index)); writeFile('distribution/libraries/index.html', $page->out()); // For each Library foreach ($libraries as $lib) { $source = "api_en/LIB_{$lib}"; $destination = "libraries/{$lib}"; //make_necessary_directories(DISTDIR.$destination.'/images/include'); $index = CONTENTDIR . $source . '/index.html'; $page = new LocalPage(ucfirst($lib) . ' \\ Libraries', 'Libraries', 'Libraries', '../../'); $page->content(file_get_contents($index)); writeFile('distribution/' . $destination . '/index.html', $page->out()); } if (is_dir(DISTDIR . 'libraries/images')) { rmdir(DISTDIR . 'libraries/images'); } mkdir(DISTDIR . 'libraries/images', 0755); copydirr(CONTENTDIR . "api_en/libraries/images", DISTDIR . 'libraries/images'); $benchmark_end = microtime_float(); $execution_time = round($benchmark_end - $benchmark_start, 4); ?> <h2>Local library generation successful!</h2> <p>Generated files in <?php echo $execution_time; ?>
<?php require_once '../config.php'; require 'lib/Translation.class.php'; $benchmark_start = microtime_float(); $source = CONTENTDIR . "api_en/environment/"; $path = DISTDIR . "/environment/"; $page = new LocalPage('Environment (IDE)', 'Environment', 'Environment', '../'); $page->content(file_get_contents($source . 'index.html')); $page->language('en'); writeFile($path . 'index.html', $page->out()); if (is_dir(DISTDIR . 'environment/images')) { rmdir(DISTDIR . 'environment/images'); } mkdir(DISTDIR . 'environment/images', 0755); copydirr($source . 'images', DISTDIR . 'environment/images'); $benchmark_end = microtime_float(); $execution_time = round($benchmark_end - $benchmark_start, 4); ?> <h2>Local environment page generation successful!</h2> <p>Generated files in <?php echo $execution_time; ?> seconds.</p>