1 files changed, 4 insertions, 1 deletions
diff --git a/build.xml b/build.xml
index a96bc39871..af122db563 100644
--- a/build.xml
+++ b/build.xml
@@ -988,10 +988,13 @@ GENERATES A DISTRIBUTION
       file="${dist.current.dir}/bin/${scalaint.exec.name}"
       perm="ugo+rx"
     />
-    <!-- Copy the API and man -->
+    <!-- Copy the API, examples and man -->
     <copy todir="${dist.current.dir}/doc/${dist.name}/api">
       <fileset dir="${api.lib.dir}"/>
     </copy>
+    <copy todir="${dist.current.dir}/doc/${dist.name}/examples">
+      <fileset dir="${examples.dir}"/>
+    </copy>
     <copy todir="${dist.current.dir}/man">
       <fileset dir="${docs.dir}/man"/>
     </copy>