From 858560ca69a202a541b513eca9a9ac69a918e9fa Mon Sep 17 00:00:00 2001
From: samskivert <samskivert@6335cc39-0255-0410-8fd6-9bcaacd3b74c>
Date: Thu, 11 Sep 2008 08:16:02 +0000
Subject: [PATCH] Nixing the savedoc target.

git-svn-id: https://samskivert.googlecode.com/svn/trunk@2414 6335cc39-0255-0410-8fd6-9bcaacd3b74c
---
 build.xml | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/build.xml b/build.xml
index 245ee63a..08582137 100644
--- a/build.xml
+++ b/build.xml
@@ -11,7 +11,6 @@
   <property name="deploy.dir"  value="dist"/>
   <property name="classes.dir" value="${deploy.dir}/classes"/>
   <property name="javadoc.dir" value="${deploy.dir}/docs"/>
-  <property name="savedoc.dir" value="docs"/>
   <property name="libs.dir"    value="lib"/>
   <property name="gwtjar.dir"  value="${deploy.dir}/gwt-jar"/>
 
@@ -123,15 +122,6 @@
     </javadoc>
   </target>
 
-  <!-- builds the javadocs and stuffs them in a directory where they won't -->
-  <!-- be blown away when we do "clean" next time -->
-  <target name="savedoc" depends="javadoc">
-    <delete dir="${savedoc.dir}/api"/>
-    <copy todir="${savedoc.dir}/api">
-      <fileset dir="${javadoc.dir}" includes="**/*"/>
-    </copy>
-  </target>
-
   <!-- a target for rebuilding everything -->
   <target name="all" depends="clean,prepare,compile,javadoc,dist"/>