34 lines
470 B
PHP
Executable File
34 lines
470 B
PHP
Executable File
#!/usr/bin/env php
|
|
<?php
|
|
|
|
require_once('include/cli_startup.php');
|
|
|
|
cli_startup();
|
|
|
|
require_once('include/help.php');
|
|
|
|
function update_docs_dir($s) {
|
|
$f = basename($s);
|
|
$d = dirname($s);
|
|
if($s === 'doc/html')
|
|
return;
|
|
|
|
$files = glob("$d/$f");
|
|
if($files) {
|
|
foreach($files as $fi) {
|
|
if($fi === 'doc/html')
|
|
continue;
|
|
echo $fi . "\n";
|
|
if(is_dir($fi))
|
|
update_docs_dir("$fi/*");
|
|
else
|
|
store_doc_file($fi);
|
|
}
|
|
}
|
|
}
|
|
|
|
update_docs_dir('doc/*');
|
|
|
|
|
|
|