use git ls-files to make tags
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 24 Jun 2015 13:44:59 +0000 (15:44 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 24 Jun 2015 13:44:59 +0000 (15:44 +0200)
Makefile

index 92c762a..d7ad72e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -47,6 +47,6 @@ endif
 
 ##########
 tags:
-       find . -type f | egrep -v 'TAGS|DIFF|/\.svn/|\.git/|~$$' | xargs etags
+       git ls-files | xargs etags
 
 .PHONY: tags