From e3adad08a8e50b9f1b3607bccf4cbab8aa346d92 Mon Sep 17 00:00:00 2001
From: Frank Ploss <frank@fqxp.de>
Date: Mon, 28 Dec 2015 14:42:32 +0100
Subject: [PATCH] Add rudimentary extension build script

---
 build.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 build.sh

diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..dda9f9f
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,3 @@
+#! /bin/sh
+
+git archive --format=zip HEAD -o tor-gnome-shell-extension.zip