task to copy docs to website dir

diff --git a/build.xml b/build.xml
index 9627c010964b69c08b617eea209fa7499889f3a2..9ca4c741f1ba7607bf831cf5f11f658f9b0f285f 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -283,8 +283,8 @@
 
 
 
-  <target name="deploy-sf-pear" depends="check,package"
-   description="Update PEAR channel on sourceforge"
+  <target name="deploy-sf-pear" depends="check,package,docs-to-website"
+   description="Update PEAR channel + website on sourceforge"
    >
     <available file="${websitedir}"
      type="dir" property="available.websitedir"
@@ -348,6 +348,16 @@
      />
   </target>
 
+  <target name="docs-to-website" depends="build-docs"
+          description="copy docs to website directory"
+  >
+   <copy todir="${websitedir}/docs">
+    <fileset dir="dist/docs">
+     <include name="**"/>
+    </fileset>
+   </copy>
+  </target>
+
 
   <target name="check"
    description="Check variables"