From ebebcbf530ef393199dbfbbb225d3b14521dda8a Mon Sep 17 00:00:00 2001
From: mdb <mdb@6335cc39-0255-0410-8fd6-9bcaacd3b74c>
Date: Fri, 24 May 2002 20:33:10 +0000
Subject: [PATCH] Added savedoc target for saving rebuild javadocs.

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

diff --git a/projects/samskivert/build.xml b/projects/samskivert/build.xml
index a8545517..eea2008c 100644
--- a/projects/samskivert/build.xml
+++ b/projects/samskivert/build.xml
@@ -20,6 +20,7 @@
   <property name="deploy.dir"  value="dist"/>
   <property name="dist.jar"    value="${app.name}.jar"/>
   <property name="javadoc.dir" value="${deploy.dir}/docs"/>
+  <property name="savedoc.dir" value="docs"/>
 
   <!-- declare our classpath -->
   <path id="classpath">
@@ -226,6 +227,15 @@
     </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"/>