Permalink
Browse files

Push zips rather than tarballs.

  • Loading branch information...
1 parent 4f0c8cc commit 74d974aef36ab30d4bb5e45492afce0f5a954690 @jlouis committed May 29, 2009
Showing with 2 additions and 2 deletions.
  1. +2 −2 Makefile
View
@@ -27,5 +27,5 @@ doc:
coqdoc --latex --body-only --glob-from $(GLOBALS) $(VS)
build-tar-ball:
- git archive --prefix='janus-formalization-jlouis/' ${ARCH_TARGET} \
- | gzip > janus-formalization-jlouis.tar.gz
+ git archive --format=zip --prefix='janus-formalization-jlouis/' ${ARCH_TARGET} \
+ > janus.zip

0 comments on commit 74d974a

Please sign in to comment.