dashboard/build.sh
author Dave Raggett <dsr@w3.org>
Sat, 28 May 2011 12:37:59 +0100
changeset 20 af4d2c9c7b43
parent 0 8ed5ca0acbac
child 22 6f4551061900
permissions -rw-r--r--
support for Firefox 5.0a2
0
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     1
#!/bin/bash
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     2
# build.sh -- XPI files for mozilla extensions
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     3
# by Dave Raggett <dsr@w3.org>
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     4
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     5
TARGET=dashboard
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     6
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     7
# to include the readme and build script etc.
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     8
touch $TARGET.xpi
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
     9
rm $TARGET.xpi
20
af4d2c9c7b43 support for Firefox 5.0a2
Dave Raggett <dsr@w3.org>
parents: 0
diff changeset
    10
zip -r ../$TARGET.xpi install.rdf chrome.manifest chrome defaults readme.txt build.sh
0
8ed5ca0acbac Initial commit
Dave Raggett <dsr@w3.org>
parents:
diff changeset
    11
mv ../$TARGET.xpi .