mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-24 15:44:59 +08:00
deb/Makefile: added 'clean'.
This commit is contained in:
+4
-1
@@ -1,8 +1,11 @@
|
||||
COMMIT?=HEAD
|
||||
|
||||
.PHONY: package
|
||||
.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
|
||||
|
||||
Reference in New Issue
Block a user