Fix release script

diff --git a/bin/release b/bin/release
index 0baf63e34170a109297819eb408f4da938cc61a5..bcc2e8e7de2b47938e57d51fd0c44101e861d0b3 100755 (executable)
--- a/bin/release
+++ b/bin/release
@@ -366,11 +366,11 @@ def do_cp(archive):
 
     path = galette_dl_repo
     if extra:
-        path += 'dev/'
+        path = os.path.join(path, 'dev')
 
     shutil.copyfile(
         archive,
-        path + archive
+        os.path.join(path, os.path.basename(archive))
     )