buildRelease.xml

<?xml version="1.0" encoding="UTF-8"?>
<project basedir="." name="Build Diagnostics Package for Release" default="all">
  
  <description>
      diagnostics/buildForRelease.xml
      
      This creates the release package for ordinary 
      users to download.
      
      This build is *not* included in the package
      downloadable from the GitHub repository, but
      is necessary for constructing the .zip file
      and creating some of the documents necessary
      for the release.
  </description>
    
    
<!--  Use the timestamp to name the output zip file.  -->
  <tstamp>
    <format property="date" pattern="yyyy-MM-dd" locale="en"/>
  </tstamp>
      
<!--  At this point, the package is so simple that 
      we might as well just list the required files. -->
  <fileset id="release" dir="${basedir}">
    <include name="diagnostics.xpr"/>
    <include name="README.md"/>
    <include name="instructions.html"/>
    <include name="build.xml"/>
    <include name="images/**.*"/>
    <include name="xsl/**.*"/>
    <include name="utilities/saxon9he.jar"/>
  </fileset>
    
  <target name="all">
    <description>
      target: all
      This builds the release package as a zip file.
    </description>
    
    <delete dir="${basedir}/temp"/>
    <mkdir dir="${basedir}/temp/diagnostics"/>
    <copy todir="${basedir}/temp/diagnostics">
      <fileset refid="release"/>
    </copy>
    
    <zip destfile="${basedir}/diagnostics_${date}.zip">
      <fileset dir="${basedir}/temp"/>
    </zip>
    
    <delete dir="${basedir}/temp"/>
    
  </target> 
    
</project>