Skip to content
Snippets Groups Projects
Commit 3fe9b15c authored by Wuttke, Joachim's avatar Wuttke, Joachim
Browse files

update-website: skip Examples/Python/utils

parent d42c0916
No related branches found
No related tags found
No related merge requests found
...@@ -37,9 +37,11 @@ def get_files(dir_name, extension): ...@@ -37,9 +37,11 @@ def get_files(dir_name, extension):
""" """
result = [] result = []
for subdir, filename in find_files(dir_name): for subdir, filename in find_files(dir_name):
name, ext = os.path.splitext(filename) if os.path.basename(subdir)=="utils":
if ext in extension: continue
result.append(os.sep.join([subdir, filename])) name, ext = os.path.splitext(filename)
if ext in extension:
result.append(os.sep.join([subdir, filename]))
return result return result
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment