From 9133e0cb0ff8d21a54579be67fa69d63c35ca2bb Mon Sep 17 00:00:00 2001
From: wisberg <wisberg>
Date: Tue, 4 Mar 2003 04:32:36 +0000
Subject: [PATCH] bad binary pattern resulted in not filtering dist files

---
 docs/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/build.xml b/docs/build.xml
index ecbad9bf2..7097fe443 100644
--- 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}"/>  
-- 
2.39.5