deb/Makefile: added 'clean'.
commitf3e559c43c72ef399321abfd5569bb609ba3b6a8
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 24 Oct 2015, 22:58 (11 years ago)
parentc9693ae
deb/Makefile+4−1
@@ -1,8 +1,11 @@
11COMMIT?=HEAD
22
3−.PHONY: package
3+.PHONY: package clean
44
55package:
66 vagrant up
77 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/'
88 vagrant halt
9+
10+clean:
11+ vagrant destroy