From efa640cc260f593e67b92228b590b4f177860d6b Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 15 Dec 2023 14:03:33 +0100
Subject: [PATCH] egrep is obsolete

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

diff --git a/Makefile b/Makefile
index dc89c4c..94535bf 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 ##########
 tags:
-	find . -type f | egrep -v '\.git/|~$$' | xargs etags
+	find . -type f | grep -v -E '\.git/|~$$' | xargs etags
 
 .PHONY: tags
 
-- 
2.43.0