[MOBY-guts] biomoby commit

[Martin Senger]

senger
Thu Nov 24 08:51:30 EST 2005
Update of /home/repository/moby/moby-live/Java
In directory pub.open-bio.org:/tmp/cvs-serv20584

Modified Files:
	build.xml 
Log Message:


moby-live/Java build.xml,1.44,1.45
===================================================================
RCS file: /home/repository/moby/moby-live/Java/build.xml,v
retrieving revision 1.44
retrieving revision 1.45
diff -u -r1.44 -r1.45
--- /home/repository/moby/moby-live/Java/build.xml	2005/11/22 18:03:27	1.44
+++ /home/repository/moby/moby-live/Java/build.xml	2005/11/24 13:51:30	1.45
@@ -38,6 +38,7 @@
    <!-- Properties for the documentation and distribution -->
    <property name="docs.dir"     value="${project.home}/docs"/>
    <property name="javadoc.dir"  value="${docs.dir}/API"/>
+   <property name="panels.dir"   value="${docs.dir}/panels"/>
    <property name="dist.dir"     value="${docs.dir}/dist"/>
 
    <!-- The directory containing third-party libraries          -->
@@ -290,6 +291,8 @@
         'excludepackagenames' below (use comma-separated list, wildcard allowed).
         Consider also to add new 'group' elements (below) for new packages.
         -->
+   <!--                                                                     -->
+   <!-- Copy help files of the Dashboard panels to the docs directory       -->
    <!-- =================================================================== -->
    <target name="docs" depends="compile,cleanapi"
      description="Generate API documentation.">
@@ -337,6 +340,10 @@
        <!-- end of additional 'group' elements -->
        
      </javadoc>
+
+     <copy todir="${panels.dir}">
+       <fileset dir="${src.main}/org/biomoby/service/dashboard/help" includes="*.html"/>
+     </copy>
    </target>
 
    <!-- ================================================================== -->