util/importdoc


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

#!/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/*');