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>
_______________________________________________
Laszlo-checkins mailing list
[email protected]
http://www.openlaszlo.org/mailman/listinfo/laszlo-checkins
