diff options
author | Benjamin Drung <bdrung@ubuntu.com> | 2010-03-17 11:40:48 +0100 |
---|---|---|
committer | Benjamin Drung <bdrung@ubuntu.com> | 2010-03-17 11:40:48 +0100 |
commit | 53d3311e21628379d3003a196e8112169d97b686 (patch) | |
tree | ac3915da59a561fc3c993326c5ff7f87e8c11f9f /src | |
parent | f6bf73ca4b9a69f918749be99edd35a98f93f912 (diff) |
* Install extensions into xul-ext subdirectory; thanks to Daniel Kahn Gillmor
for the patch.
- update src/install-xpi
Diffstat (limited to 'src')
-rwxr-xr-x | src/install-xpi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/install-xpi b/src/install-xpi index ade3f73..4fc6013 100755 --- a/src/install-xpi +++ b/src/install-xpi @@ -100,7 +100,8 @@ def install_xpi(script_name, package, xpi_file, exclude, install_dir, links, cor else: lib_share_dir = "lib" if install_dir is None: - install_dir = os.path.join("usr", lib_share_dir, package) + install_dir = os.path.join("usr", lib_share_dir, "xul-ext", + package.replace("xul-ext-", "")) copy_dir = os.path.join("debian", package, install_dir.strip("/")) if verbose: print "%s: install directory: %s" % (script_name, install_dir) |