blob: 9cce35c501445ceccfa20fa0f88bf4e836e8af9f (
plain) (
tree)
|
|
<?php
require_once('include/cli_startup.php');
cli_startup();
require_once('mod/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;
if(is_dir($fi))
update_docs_dir("$fi/*");
else
store_doc_file($fi);
}
}
}
update_docs_dir('doc/*');
|