From c4d2c1f5146b97bc1b257283e0dfb3e0c86c3745 Mon Sep 17 00:00:00 2001
From: Richard Heck <rgheck@comcast.net>
Date: Sat, 4 Aug 2007 03:05:53 +0000
Subject: [PATCH] Fix bug 4094, as in trunk.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/branches/BRANCH_1_5_X@19299 a592a061-630c-0410-9148-cb99ea01b6c8
---
 lib/scripts/ext_copy.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/lib/scripts/ext_copy.py b/lib/scripts/ext_copy.py
index 1df65640c6..3bf601b49e 100644
--- a/lib/scripts/ext_copy.py
+++ b/lib/scripts/ext_copy.py
@@ -71,6 +71,8 @@ def main(argv):
 
     # copy all matching files in from_dir to to_dir
     for file in os.listdir(from_dir):
+      if os.path.isdir(file):
+        continue
       junk, ext = os.path.splitext(os.path.basename(file))
       ext = ext.lower()[1:] #strip the leading dot
       try:
@@ -81,7 +83,11 @@ def main(argv):
         continue #not found
       from_file = os.path.join(from_dir, file)
       to_file  = os.path.join(to_dir, file)
-      shutil.copy(from_file, to_file)
+      shutil.copyfile(from_file, to_file)
+      try:
+        shutil.copymode(from_file, to_file)
+      except:
+        pass
     return 0
 
 if __name__ == "__main__":