From f857533f5e3535599eb4b74b8ac214e50370a542 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 13 Jan 2017 12:10:38 +0100
Subject: [PATCH] ignore html and pdf files when doing stuff like make tags

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e6aa5a99..02bab1b8 100644
--- a/Makefile
+++ b/Makefile
@@ -126,7 +126,7 @@ 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$$'
+	@git ls-files | egrep -v '\.(doc|html|pdf)$$'
 
 tags:	
 	$(MAKE) git-files | xargs etags
-- 
2.43.0