commit 033a21dff6a4eb5f2344d2e174126a70e3d1ef35
author Jean-Baptiste Onofré <jbonofre@apache.org> Mon Aug 03 11:30:11 2015 +0200
committer Jean-Baptiste Onofré <jbonofre@apache.org> Mon Aug 03 11:30:11 2015 +0200
tree afb32fccc0008194f9577778ad98ac351b96a2c0
parent c7f25a62910796b3ad292e24c356c731974d35ec

Use copy instead of move in the documentation generation

manual/pom.xml

diff --git a/manual/pom.xml b/manual/pom.xml
index 8cfce30..c984cac 100644
--- a/manual/pom.xml
+++ b/manual/pom.xml
@@ -49,7 +49,7 @@
                         <configuration>
                             <tasks>
                                 <mkdir dir="target"/>
-                                <move file="${project.build.directory}/generated-docs/index.html" tofile="target/documentation.html"/>
+                                <copy file="${project.build.directory}/generated-docs/index.html" tofile="target/documentation.html"/>
                                 <echo message="Generating PDF using Prince XML (http://www.princexml.com/)"/>
                                 <exec executable="prince">
                                     <arg value="target/documentation.html"/>