schedule a doco update once weekly

1 files changed, 31 insertions, 0 deletions

diff --git a/include/importdoc.php b/include/importdoc.php
new file mode 100755
index 000000000..9cce35c50
--- /dev/null
+++ b/include/importdoc.php
@@ -0,0 +1,31 @@
+<?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/*');
+
+
+