mirror of
https://git.freebsd.org/ports.git
synced 2025-05-17 01:23:12 -04:00
41cd23d591
Minor cleanups: I am unsure if these ports should be deprecated. At least jakarta-oro appears to be used so let them around for now. "makepatch" at jakarta-regexp while here. Approved by: thierry (mentor, implicit)
37 lines
1.5 KiB
XML
37 lines
1.5 KiB
XML
--- build.xml.orig 2007-03-18 22:41:02 UTC
|
|
+++ build.xml
|
|
@@ -130,7 +130,7 @@
|
|
<!-- =================================================================== -->
|
|
<!-- Package -->
|
|
<!-- =================================================================== -->
|
|
- <target name="package" depends="jar, docs, javadocs">
|
|
+ <target name="package" depends="jar, javadocs">
|
|
<mkdir dir="${final.dir}"/>
|
|
|
|
<copy todir="${final.dir}/src/java">
|
|
@@ -209,25 +209,4 @@
|
|
<delete dir="${build.dir}"/>
|
|
</target>
|
|
|
|
- <!-- ================================================================== -->
|
|
- <!-- XSLT Documentation Builder -->
|
|
- <!-- ================================================================== -->
|
|
- <target name="docs" depends="jar">
|
|
- <xslt basedir="${docs.src}"
|
|
- destdir="${docs.dest}"
|
|
- style="${jakarta-site.dir}/xdocs/stylesheets/site.xsl"
|
|
- includes="**/*.xml"
|
|
- excludes="**/stylesheets/** empty.xml">
|
|
- <param name="sitenav-path" expression="${basedir}/xdocs/stylesheets/site.xml"/>
|
|
- </xslt>
|
|
-
|
|
- <copy todir="${docs.dest}" filtering="no">
|
|
- <fileset dir="${docs.src}">
|
|
- <include name="RETest.txt"/>
|
|
- </fileset>
|
|
- </copy>
|
|
-
|
|
- <copy tofile="${docs.dest}/jakarta-regexp.jar"
|
|
- file="${build.dir}/${final.name}.jar"/>
|
|
- </target>
|
|
</project>
|