diff options
author | wei <> | 2006-10-12 07:30:33 +0000 |
---|---|---|
committer | wei <> | 2006-10-12 07:30:33 +0000 |
commit | 5abdafeb9ded0c1c41992f7b3758f1dc02255683 (patch) | |
tree | c5c344f0285e9b5dcd540eeaa1a701f47e14b4bb /buildscripts/wikibuilder/build.php | |
parent | de630e4134484cea82fd0a1864a45db3bd9974bc (diff) |
add unified chm build (quickstart + API + classdocs + wiki)
Diffstat (limited to 'buildscripts/wikibuilder/build.php')
-rw-r--r-- | buildscripts/wikibuilder/build.php | 18 |
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 |