merge from 3.0 branch till 1463.

1 files changed, 18 insertions, 0 deletions

diff --git a/buildscripts/wikibuilder/build.php b/buildscripts/wikibuilder/build.php
new file mode 100644
index 00000000..3ee8a078
--- /dev/null
+++ b/buildscripts/wikibuilder/build.php
@@ -0,0 +1,18 @@
+<?php
+
+$wiki_dir = 'c:/Wei/workspace/wiki/';
+$wiki_url = 'http://www.pradosoft.com/wiki/';
+
+$ROOT = dirname(__FILE__);
+
+$output_dir = $ROOT.'/../../build/docs/wiki';
+
+include_once(dirname(__FILE__).'/dumpHTML.php');
+
+if(!is_file($output_dir.'/external.png'))
+{
+	copy($ROOT.'/external.png', $output_dir.'/external.png');
+	copy($ROOT.'/main.css', $output_dir.'/main.css');
+}
+
+?>
\ No newline at end of file