blob: 7f514fe24423e4d4de35b1211b28ffb8e44277f4 (
plain)
1
2
3
4
5
6
7
8
9
10
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
|
