bad binary pattern resulted in not filtering dist files

diff --git a/docs/build.xml b/docs/build.xml
index ecbad9bf2cc18a8b3e93f7928ad045fdde3ed21b..7097fe443457fc8d570e2eda7d1a799742959b06 100644 (file)
--- a/docs/build.xml
+++ b/docs/build.xml
@@ -62,7 +62,7 @@
       <!-- default value for xml-html copying (copy all graphics) -->
       <property name="xml-html-copy" value="*.gif,*.png" />
       <property name="binary.pattern" 
-               value="**/*.gif,**/*.png,**/*,**/*.doc,**/*.pdf"/>
+               value="**/*.gif,**/*.png,**/*.doc,**/*.pdf"/>
       <uptodate property="local.dist.uptodate"
               targetfile="${docs.dist.dir}/doc/faq.html"> <!-- use faq as tag file -->
          <srcfiles dir="${docs.src.dir}" includes="${docs.src.pattern}"/>