From acfa8655c44198dd889117da22e3b456200415d1 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 15 Mar 2013 12:38:01 +0100
Subject: [PATCH] fix make tags

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

diff --git a/Makefile b/Makefile
index 202f0e65..a819950b 100644
--- a/Makefile
+++ b/Makefile
@@ -91,7 +91,7 @@ list-all list-resources: list-templates list-js list-css list-img
 #################### compute emacs tags
 # list files under git but exclude third-party stuff like bootstrap and jquery
 myfiles: force
-	@git ls-files | egrep -v 'insert(_|-)above|/third-party/|/play/'
+	@git ls-files | egrep -v 'insert(_|-)above|third-party/|play/'
 
 # in general it's right to rely on the contents as reported by git
 tags: force
-- 
2.43.0