From 1615f21c9a4bdeee78dcee3dc268119738158e1a Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Wed, 27 Feb 2013 17:11:02 -0400
Subject: [PATCH] fix broken build-stamp

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index d714f2eb96..2c639ba381 100644
--- a/Makefile
+++ b/Makefile
@@ -41,7 +41,7 @@ install-docs: docs install-mans
 		rsync -a --delete html/ $(DESTDIR)$(PREFIX)/share/doc/git-annex/html/; \
 	fi
 
-install: build-stamp install-docs
+install: build install-docs
 	install -d $(DESTDIR)$(PREFIX)/bin
 	install $(bins) $(DESTDIR)$(PREFIX)/bin
 	ln -sf git-annex $(DESTDIR)$(PREFIX)/bin/git-annex-shell
@@ -73,7 +73,7 @@ docs: $(mans)
 
 clean:
 	rm -rf tmp dist git-annex $(mans) configure  *.tix .hpc \
-		doc/.ikiwiki html dist build-stamp tags Build/SysConfig.hs
+		doc/.ikiwiki html dist tags Build/SysConfig.hs
 
 sdist: clean $(mans)
 	./Build/make-sdist.sh
@@ -162,4 +162,4 @@ androidapp:
 	mkdir -p tmp
 	cp standalone/android/source/term/bin/Term-debug.apk tmp/git-annex.apk
 
-.PHONY: git-annex install tags
+.PHONY: git-annex tags