Ejemplo n.º 1
0
require_once './contributions.php';
$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;
Ejemplo n.º 2
0
<?php

require_once '../config.php';
require_once 'lib/Translation.class.php';
$benchmark_start = microtime_float();
$tools_dir = DISTDIR . 'tools';
// Create Tools index
$index = CONTENTDIR . "api_en/tools/index.html";
$page = new LocalPage('Tools', 'Tools', 'Tools', '../');
$page->content(file_get_contents($index));
writeFile('distribution/tools/index.html', $page->out());
// Create folder for images and copy them over
if (is_dir(DISTDIR . 'tools/images')) {
    rmdir(DISTDIR . 'tools/images');
}
mkdir(DISTDIR . 'tools/images', 0755);
copydirr(CONTENTDIR . 'api_en/tools/images', DISTDIR . 'tools/images');
// Copy file for the contributed Tools
require_once './contributions.php';
copy(CONTENTDIR . "static/tools.html", DISTDIR . 'tools/tools.html');
$benchmark_end = microtime_float();
$execution_time = round($benchmark_end - $benchmark_start, 4);
?>

<h2>Local tool generation successful!</h2>
<p>Generated files in <?php 
echo $execution_time;
?>
 seconds.</p>
Ejemplo n.º 3
0
<?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>
<?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>