From b1f27f83087c333cbcb80c63b5d0e7b9a9f9d1ed Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Thu, 7 Nov 2013 15:58:43 +0100
Subject: [PATCH] slightly smarter make tags

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ae9e7a69..144c06c3 100644
--- a/Makefile
+++ b/Makefile
@@ -127,8 +127,12 @@ force:
 # a lot of stuff in the working dir is just noise
 files:
 	@find . -type f | egrep -v '^\./\.|/\.git/|/\.svn/|TAGS|AA-|~$$|egg-info|\.(py[co]|doc|html|pdf|png|svg|out|bak|dg|pickle)$$' 
+
+git-files:
+	@git ls-files | grep -v '\.doc$$'
+
 tags:	
-	$(MAKE) files | xargs etags
+	$(MAKE) git-files | xargs etags
 
 .PHONY: files tags
 
-- 
2.43.0