diff --git a/build.xml b/build.xml
index aff08b6c..d74d345a 100644
--- a/build.xml
+++ b/build.xml
@@ -333,7 +333,12 @@
     <!-- copy in documentation build artifacts -->
     <copy todir="${dist.dir}/docs" includeEmptyDirs="false" flatten="false">
       <fileset dir="${build.dir}/docs">
-        <include name="**/*" />
+        <include name="**/*.html" />
+      </fileset>
+    </copy>
+    <copy todir="${dist.dir}/docs/man" includeEmptyDirs="false" flatten="false">
+      <fileset dir="${build.dir}/docs">
+        <include name="**/*.gz" />
       </fileset>
     </copy>