svgui/pyjs/build.py
changeset 1758 845ca626db09
parent 1757 0de89da92ee0
child 1763 bcc07ff2362c
--- a/svgui/pyjs/build.py	Wed Aug 16 17:27:58 2017 +0300
+++ b/svgui/pyjs/build.py	Thu Aug 17 09:55:39 2017 +0300
@@ -138,9 +138,9 @@
 </html>
 """
 
-    filename =  os.path.split   (source_file)[1]
-    mod_name =  os.path.splitext(filename)[0]
-    file_name = os.path.join    (dest_path, mod_name + '.html')
+    filename = os.path.split(source_file)[1]
+    mod_name = os.path.splitext(filename)[0]
+    file_name = os.path.join(dest_path, mod_name + '.html')
 
     # if html file in output directory exists, leave it alone.
     if os.path.exists (file_name):