From a396759f22ff06689e25d92d4faaaf0835bf8bc8 Mon Sep 17 00:00:00 2001
From: Christian Weiske <cweiske@cweiske.de>
Date: Thu, 26 May 2011 21:05:59 +0200
Subject: [PATCH] build doc files only if source files are newer than rendered
 files

---
 build.xml | 26 +++++++++++++++++++-------
 1 file changed, 19 insertions(+), 7 deletions(-)

diff --git a/build.xml b/build.xml
index 0289c38..f6731fe 100644
--- a/build.xml
+++ b/build.xml
@@ -219,18 +219,30 @@
    </foreach>
   </target>
 
-  <target name="build-doc-file" depends="check">
+
+  <target name="build-doc-file" depends="check"
+   description="Builds a single documentation file. Pass file path as $fname"
+  >
    <echo msg="${fname}"/>
    <php function="preg_replace" returnProperty="outfile">
     <param value="/^(.+)(.rst|.txt)$/"/>
-    <param value="\1.html"/>
+    <param value="dist/\1.html"/>
     <param value="${fname}"/>
    </php>
-   <!--<echo msg="${fname} - ${outfile}"/>-->
-   <exec
-    command="rst2html --exit-status=2 ${fname} > dist/${outfile}"
-    checkreturn="1"
-    />
+
+   <!-- only render file if the doc file is newer than the html file -->
+   <property name="isuptodate" value="false"/>
+   <uptodate property="isuptodate" srcfile="${fname}" targetfile="${outfile}" />
+   <if>
+    <not><istrue value="${isuptodate}"/></not>
+    <then>
+     <exec
+      command="rst2html --exit-status=2 ${fname} ${outfile}"
+      checkreturn="1"
+      />
+    </then>
+   </if>
+
   </target>