From 79edd4bcaecb4f58cc612119b560a528766a2743 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 17 Jul 2002 11:59:53 +0000
Subject: modification de make tags pour 1) eviter de parser les fichiers de
 contrib/extraction/test et de depasser les capacitees de etags 2) supprimer
 les tags ne venant pas des regexps fournis (--language=none)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2891 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 99e40bbeda..57aac43c35 100644
--- a/Makefile
+++ b/Makefile
@@ -778,9 +778,12 @@ clean::
 # Emacs tags
 ###########################################################################
 
+# NB: the -maxdepth 3 is for excluding files from contrib/extraction/test
+
 tags:
-	find . -name "*.ml*" | sort -r | xargs \
-	etags "--regex=/let[ \t]+\([^ \t]+\)/\1/" \
+	find . -maxdepth 3 -name "*.ml*" | sort -r | xargs \
+	etags --language=none\
+	      "--regex=/let[ \t]+\([^ \t]+\)/\1/" \
 	      "--regex=/let[ \t]+rec[ \t]+\([^ \t]+\)/\1/" \
 	      "--regex=/and[ \t]+\([^ \t]+\)/\1/" \
 	      "--regex=/type[ \t]+\([^ \t]+\)/\1/" \
-- 
cgit v1.2.3