1 files changed, 11 insertions, 0 deletions
diff --git a/deb/Makefile b/deb/Makefile
new file mode 100644
index 000000000..7f514fe24
--- /dev/null
+++ b/deb/Makefile
@@ -0,0 +1,11 @@
+COMMIT?=HEAD
+
+.PHONY: package clean
+
+package:
+	vagrant up
+	vagrant ssh -c 'rm -rf pandoc && git clone https://github.com/jgm/pandoc && cd pandoc && git checkout -b work $(COMMIT) && git submodule update --init && ./make_deb.sh && cp *.deb /vagrant_data/'
+	vagrant halt
+
+clean:
+	vagrant destroy