[Laszlo-checkins] r7139 - openlaszlo/branches/paperpie/docs/src

[ben@openlaszlo.org]

Author: ben
Date: 2007-11-05 15:28:04 -0800 (Mon, 05 Nov 2007)
New Revision: 7139

Modified:
   openlaszlo/branches/paperpie/docs/src/build.xml
Log:
Fixing doc reference frameset so that it copies in the correct hand-edited index even if the generated index is newer.

Modified: openlaszlo/branches/paperpie/docs/src/build.xml
===================================================================
--- openlaszlo/branches/paperpie/docs/src/build.xml	2007-11-05 22:40:54 UTC (rev 7138)
+++ openlaszlo/branches/paperpie/docs/src/build.xml	2007-11-05 23:28:04 UTC (rev 7139)
@@ -755,6 +755,7 @@
       <echo message="***gonna copy in reference frameset ***" />      
       <!-- To actually build or update the index-generated.html, see navbuilder/navbuilder.rb -->
       <copy 
+          verbose="true"
           overwrite="true"         
           file="${reference.src.dir}/navbuilder/index-generated.html" 
           todir="${reference.output.dir}">
@@ -765,6 +766,7 @@
           tofile="${reference.output.dir}/index-docbook.html">          
       </copy>      
       <copy 
+          overwrite="true"
           file="${reference.src.dir}/navbuilder/index-frames.html" 
           tofile="${reference.output.dir}/index.html">
       </copy>