summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--build.xml4
1 files changed, 3 insertions, 1 deletions
diff --git a/build.xml b/build.xml
index 6a708755a3..e02a33bed2 100644
--- a/build.xml
+++ b/build.xml
@@ -1688,7 +1688,9 @@ DISTRIBUTION
</copy>
<mkdir dir="${dist.dir}/doc/scala-devel-docs/examples"/>
<copy toDir="${dist.dir}/doc/scala-devel-docs/examples">
- <fileset dir="${docs.dir}/examples"/>
+ <fileset dir="${docs.dir}/examples">
+ <exclude name="**/*.desired.sha1"/>
+ </fileset>
</copy>
<mkdir dir="${dist.dir}/doc/scala-devel-docs/tools"/>
<copy toDir="${dist.dir}/doc/scala-devel-docs/tools">