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

[ben@openlaszlo.org]

Author: ben
Date: 2007-11-04 14:11:49 -0800 (Sun, 04 Nov 2007)
New Revision: 7116

Modified:
   openlaszlo/branches/paperpie/docs/src/build.xml
Log:
save the generated index so we can look at it

Modified: openlaszlo/branches/paperpie/docs/src/build.xml
===================================================================
--- openlaszlo/branches/paperpie/docs/src/build.xml	2007-11-04 17:56:04 UTC (rev 7115)
+++ openlaszlo/branches/paperpie/docs/src/build.xml	2007-11-04 22:11:49 UTC (rev 7116)
@@ -759,8 +759,12 @@
           file="${reference.src.dir}/navbuilder/index-generated.html" 
           todir="${reference.output.dir}">
       </copy>      
+      <!-- Tuck away the docbook-generated index, so we can examine it --> 
       <copy 
-          overwrite="true"         
+          file="${reference.output.dir}/index.html"
+          tofile="${reference.output.dir}/index-docbook.html">          
+      </copy>      
+      <copy 
           file="${reference.src.dir}/navbuilder/index-frames.html" 
           tofile="${reference.output.dir}/index.html">
       </copy>