# HG changeset patch
# User greg
# Date 1200499409 -3600
# Node ID 340b858bf93edac1fe561dfa056944d1f5d596e7
# Parent  c4488f56aca15132df562aeceacac940443fba05
changes in setup.py to filter "exe" files and the and the "lib" directory

diff -r c4488f56aca1 -r 340b858bf93e setup.py
--- a/setup.py	Tue Jan 15 10:53:18 2008 +0100
+++ b/setup.py	Wed Jan 16 17:03:29 2008 +0100
@@ -18,9 +18,13 @@
     for element in os.listdir(directory):
         element_path=os.path.join(base_dir, element)
         if os.path.isdir(element_path):
-            generate(element_path)
+            basename_element=os.path.basename(element_path)
+            if basename_element == "lib":
+                generate(element_path)
         elif os.path.isfile(element_path):
-            listfile.append(element_path)
+            ext_element=os.path.splitext(element)
+            if ext_element[1] == ".exe" or ext_element[1] == ".h" or ext_element[1] == ".txt" or ext_element[1] == ".c":
+                listfile.append(element_path)
 
 generate("")