diff options
| author | Javier <dev.git@javispedro.com> | 2014-01-28 17:39:18 +0100 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2014-01-28 17:39:18 +0100 |
| commit | 2231b514e3646c6762818926b45b836e4263c0ea (patch) | |
| tree | cef1607e512e9b71961ae64e6c8d29d00fd72ed7 /Makefile | |
| download | topmenu-mozilla-2231b514e3646c6762818926b45b836e4263c0ea.tar.gz topmenu-mozilla-2231b514e3646c6762818926b45b836e4263c0ea.zip | |
initial import
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..51d3e3f --- /dev/null +++ b/Makefile @@ -0,0 +1,18 @@ +ZIP?=zip + +# What goes inside the .xpi package +CONTENT:=install.rdf chrome.manifest \ + $(wildcard chrome/content/*) + +all: dist + +# "dist" target builds .xpi extension package. +dist: topmenu.xpi + +topmenu.xpi: $(CONTENT) + $(ZIP) $(ZIPFLAGS) $@ $^ + +clean: + rm -f topmenu.xpi + +.PHONY: all dist clean |