diff options
| author | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:56:48 +0200 |
|---|---|---|
| committer | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:57:07 +0200 |
| commit | 3069eaf35e833ffe4a1c1c7829dd7e168ae27420 (patch) | |
| tree | d0c2e4d934cc34ba7d4232f759923b5a257dcb21 /buildscripts/wikibuilder/build.php | |
| parent | b833247ce597ec26159b46c8dfbea7f1e265950b (diff) | |
Merge up to r3319
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 |