From c8970607267819f3699b4173b3c6b562c5161788 Mon Sep 17 00:00:00 2001
From: Filip Wieland <filiplamparski@gmail.com>
Date: Sun, 15 Mar 2020 16:25:18 +0000
Subject: [PATCH] Fix handling of Windows paths with spaces

---
 scripts/deps.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/deps.py b/scripts/deps.py
index 3662d84..6239915 100644
--- a/scripts/deps.py
+++ b/scripts/deps.py
@@ -33,7 +33,7 @@ def read_deps(dname):
     deps = []
     for line in lines:
         if line.startswith('\t'):
-            dep = line[1 : -1].rstrip(' \\')
+            dep = line[1 : -1].rstrip(' \\').replace('\\ ', ' ')
             if not os.path.basename(dep) in ['stl.scad', 'dxf.scad', 'svf.scad', 'png.scad', 'target.scad']:
                 deps.append(dep)
     return deps