summaryrefslogtreecommitdiff
path: root/buildscripts/wikibuilder/build.php
diff options
context:
space:
mode:
Diffstat (limited to 'buildscripts/wikibuilder/build.php')
-rw-r--r--buildscripts/wikibuilder/build.php18
1 files changed, 0 insertions, 18 deletions
diff --git a/buildscripts/wikibuilder/build.php b/buildscripts/wikibuilder/build.php
deleted file mode 100644
index 3ee8a078..00000000
--- a/buildscripts/wikibuilder/build.php
+++ /dev/null
@@ -1,18 +0,0 @@
-<?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