diff options
Diffstat (limited to 'buildscripts/wikibuilder/build.php')
-rw-r--r-- | buildscripts/wikibuilder/build.php | 18 |
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 |