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);
?>
Local library generation successful!
Generated files in seconds.