add so extension when copying files

sdpython · Aug 20, 2017 · f92ac5d · f92ac5d
1 parent a38832a
commit f92ac5d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pyquickhelper/helpgen/utils_sphinx_doc.py b/src/pyquickhelper/helpgen/utils_sphinx_doc.py
@@ -313,7 +313,7 @@ def copy_source_files(input, output, fmod=lambda v, filename: v,
     if remove:
         remove_folder(output, False, raise_exception=False)
 
-    deffilter = "(.+[.]py$)|(.+[.]pyd$)|(.+[.]cpp$)|(.+[.]h$)|(.+[.]dll$)|(.+[.]yml$)|(.+[.]o$)|(.+[.]def$)|(.+[.]exe$)|(.+[.]config$)"
+    deffilter = "(.+[.]py$)|(.+[.]pyd$)|(.+[.]cpp$)|(.+[.]h$)|(.+[.]dll$)|(.+[.]so$)|(.+[.]yml$)|(.+[.]o$)|(.+[.]def$)|(.+[.]exe$)|(.+[.]config$)"
     if copy_add_ext is not None:
         res = ["(.+[.]%s$)" % e for e in copy_add_ext]
         deffilter += "|" + "|".join(res)