From 80846fa1ed82047adef59ad390528008fa2cd55e Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 13 Dec 2010 16:33:36 +0100
Subject: [PATCH] add a tags target

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

diff --git a/Makefile b/Makefile
index 7d2d4ac..94c7a29 100644
--- a/Makefile
+++ b/Makefile
@@ -12,3 +12,8 @@ install:
 	             --install-scripts=$(DESTDIR)/$(bindir) \
 	             --install-data=$(DESTDIR)/$(datadir)
 
+
+tags:
+	find . '(' -name '*.py' -o -name Makefile ')' | xargs etags
+
+.PHONY: tags
-- 
2.43.0