From 633a66c8226286d4559e72f0dce23586d617faff Mon Sep 17 00:00:00 2001 From: Ferry Huberts Date: Sat, 3 Nov 2012 17:49:45 -0600 Subject: [PATCH] Makefile: get snapshots from github Github will have more bandwidth than Lars' server. --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 93c5003..1873809 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,7 @@ pdfdir = $(docdir) mandir = $(prefix)/share/man SHA1_HEADER = 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