diff options
author | Ferry Huberts <ferry.huberts@pelagic.nl> | 2012-11-03 17:49:45 -0600 |
---|---|---|
committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2012-11-04 18:02:55 +0100 |
commit | 633a66c8226286d4559e72f0dce23586d617faff (patch) | |
tree | b15d738d833dde2ca35f2d20b9f3894d6e33568b /Makefile | |
parent | 2b675d20bcc1bf7f520f2d614475c7d3857191ef (diff) |
Makefile: get snapshots from github
Github will have more bandwidth than Lars' server.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -13,7 +13,7 @@ pdfdir = $(docdir) mandir = $(prefix)/share/man SHA1_HEADER = <openssl/sha.h> GIT_VER = 1.7.4 -GIT_URL = http://hjemli.net/git/git/snapshot/git-$(GIT_VER).tar.bz2 +GIT_URL = https://github.com/git/git/archive/v$(GIT_VER).tar.gz INSTALL = install MAN5_TXT = $(wildcard *.5.txt) MAN_TXT = $(MAN5_TXT) @@ -249,7 +249,7 @@ clean-doc: rm -f cgitrc.5 cgitrc.5.html cgitrc.5.pdf cgitrc.5.xml cgitrc.5.fo get-git: - curl $(GIT_URL) | tar -xjf - && rm -rf git && mv git-$(GIT_VER) git + curl -L $(GIT_URL) | tar -xzf - && rm -rf git && mv git-$(GIT_VER) git tags: $(QUIET_TAGS)find . -name '*.[ch]' | xargs ctags |