-- <get src="${sourcefile}" dest="${destfile}" />
-- </target>
--
-- <!-- ============================ IDE Support ============================ -->
--
-- <target name="ide-eclipse" depends="deploy, extras-webservices-prepare"
-- description="Prepares the source tree to be built in Eclipse">
--
-- <!-- Copy the sample project files into the root directory -->
-- <copy file="${tomcat.home}/res/ide-support/eclipse/eclipse.project" tofile="${tomcat.home}/.project"/>
-- <copy file="${tomcat.home}/res/ide-support/eclipse/eclipse.classpath" tofile="${tomcat.home}/.classpath"/>
--
-- <echo>Eclipse project files created.
--Read the Building page on the Apache Tomcat documentation site for details on how to configure your Eclipse workplace.</echo>