From 3069eaf35e833ffe4a1c1c7829dd7e168ae27420 Mon Sep 17 00:00:00 2001
From: Ciro Mattia Gonano <ciromattia@gmail.com>
Date: Wed, 11 Sep 2013 15:56:48 +0200
Subject: Merge up to r3319

---
 buildscripts/wikibuilder/build.php | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 buildscripts/wikibuilder/build.php

(limited to 'buildscripts/wikibuilder/build.php')

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
-- 
cgit v1.2.3