From a82fba166b037611eb7da3cd3a1f6fb40b637488 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 30 Mar 2015 14:30:31 +0200
Subject: [PATCH] convenience make target 'pyfiles' to list only python files
 among 'myfiles'

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

diff --git a/Makefile b/Makefile
index 80d49c4c..6f557bae 100644
--- a/Makefile
+++ b/Makefile
@@ -96,6 +96,9 @@ redo-templates: clean-templates templates
 myfiles: force
 	@git ls-files | egrep -v 'insert(_|-)above|third-party/|to-be-integrated/'
 
+pyfiles: force
+	@git ls-files | grep '\.py$$'
+
 # in general it's right to rely on the contents as reported by git
 tags: force
 	$(MAKE-SILENT) myfiles | xargs etags
-- 
2.43.0