1 files changed, 9 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index c0f9948bf4..47d56cb4a8 100644
--- a/build.xml
+++ b/build.xml
@@ -789,6 +789,15 @@ GENERATES A DISTRIBUTION
     <copy todir="${dist.current.dir}/man">
       <fileset dir="${docs.dir}/man/dists" includes="**/*.1"/>
     </copy>
+    <copy todir="${dist.current.dir}/doc/scala/tools">
+      <fileset dir="${docs.dir}/man/src">
+        <include name="**/*.html"/>
+        <include name="**/*.css"/>
+        <include name="**/*.gif"/>
+        <include name="**/*.png"/>
+      </fileset>
+      <fileset dir="${docs.dir}/man/dists" includes="**/*.html"/>
+    </copy>
   <!-- Recreate the 'latest' link to point to this distribution -->
     <if><isset property="os.win"/>
       <then>