From b98116b463dfdc79f86ee05483e39a88f5948604 Mon Sep 17 00:00:00 2001
From: Erik Amaru Ortiz <aortiz.erik@gmail.com>
Date: Tue, 1 Jul 2014 11:58:15 -0400
Subject: [PATCH] updating jenkins build file

---
 build.xml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/build.xml b/build.xml
index 5ea8ae249..2dd977b6b 100644
--- a/build.xml
+++ b/build.xml
@@ -32,7 +32,6 @@
         <delete dir="${basedir}/build/coverage"/>
         <delete dir="${basedir}/build/logs"/>
         <delete dir="${basedir}/build/pdepend"/>
-        <delete dir="${basedir}/build/docs"/>
     </target>
 
     <target name="prepare" depends="clean" description="Prepare for build">
@@ -42,8 +41,6 @@
         <mkdir dir="${basedir}/build/logs"/>
         <mkdir dir="${basedir}/build/pdepend"/>
         <mkdir dir="${basedir}/build/phpdox"/>
-        <mkdir dir="${basedir}/build/docs"/>
-        <mkdir dir="${basedir}/build/docs/html"/>
     </target>
 
  <target name="lint" description="Perform syntax check of sourcecode files">