From b0101af429c8fac3483e1bf50b0464d663ceee6f Mon Sep 17 00:00:00 2001 From: Philipp Schaefer Date: Mon, 8 Jul 2013 17:17:22 +0200 Subject: [PATCH] moved user-location script to new mobile plugin folder --- build.py | 5 ++--- mobile/{ => plugins}/user-location.user.js | 0 2 files changed, 2 insertions(+), 3 deletions(-) rename mobile/{ => plugins}/user-location.user.js (100%) diff --git a/build.py b/build.py index bc9b178f..f3ae396a 100755 --- a/build.py +++ b/build.py @@ -233,7 +233,7 @@ if buildMobile: # compile the user location script fn = "user-location.user.js" - script = readfile("mobile/" + fn) + script = readfile("mobile/plugins/" + fn) downloadUrl = distUrlBase and distUrlBase + '/' + fn.replace("\\","/") or 'none' updateUrl = distUrlBase and downloadUrl.replace('.user.js', '.meta.js') or 'none' script = doReplacements(script, downloadUrl=downloadUrl, updateUrl=updateUrl) @@ -251,10 +251,9 @@ if buildMobile: shutil.copy(os.path.join(outDir,"user-location.user.js"), "mobile/assets/user-location.user.js") # also copy plugins try: - os.makedirs("mobile/assets/plugins") + shutil.rmtree("mobile/assets/plugins") except: pass - shutil.rmtree("mobile/assets/plugins") shutil.copytree(os.path.join(outDir,"plugins"), "mobile/assets/plugins", # do not include desktop-only plugins to mobile assets ignore=shutil.ignore_patterns('*.meta.js', diff --git a/mobile/user-location.user.js b/mobile/plugins/user-location.user.js similarity index 100% rename from mobile/user-location.user.js rename to mobile/plugins/user-location.user.js