diff --git a/base/build/build.xml b/base/build/build.xml
index 2b95d8e7e58e31a80c433bbc7be17ab16f32b215..68abf9f6821c060f851011b9ab0392fe0e0201f0 100644
--- a/base/build/build.xml
+++ b/base/build/build.xml
@@ -182,6 +182,9 @@
 		<move file="${jar.test.file}" todir="${dist}/${distfolder}/lib" />
 		<move file="${src.zip.file}" todir="${dist}/${distfolder}/src" />
 		<move file="${javadoc.zip.file}" todir="${dist}/${distfolder}/doc" />
+		<copy todir="${dist}/${distfolder}/doc">
+			<fileset dir="doc" includes="**" />
+		</copy>
 	  <copy todir="${dist}/${distfolder}">
 	    <fileset dir="${original.dist}"/>
 	  </copy>