From cc08a12369fd1a24d8173d5d10af0df880967bfb Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 17 Jul 2002 12:42:56 +0000
Subject: ajout de make otags utilisant otags plutot que etags

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

diff --git a/Makefile b/Makefile
index 57aac43c35..391f2631a8 100644
--- a/Makefile
+++ b/Makefile
@@ -791,6 +791,19 @@ tags:
 	      "--regex=/val[ \t]+\([^ \t]+\)/\1/" \
 	      "--regex=/module[ \t]+\([^ \t]+\)/\1/"
 
+otags: 
+	find . -maxdepth 3 -name "*.ml" -o -name "*.mli" \
+	| sort -r | xargs otags
+	find . -maxdepth 3 -name "*.ml4" | sort -r | xargs \
+	etags --append --language=none\
+	      "--regex=/let[ \t]+\([^ \t]+\)/\1/" \
+	      "--regex=/let[ \t]+rec[ \t]+\([^ \t]+\)/\1/" \
+	      "--regex=/and[ \t]+\([^ \t]+\)/\1/" \
+	      "--regex=/type[ \t]+\([^ \t]+\)/\1/" \
+              "--regex=/exception[ \t]+\([^ \t]+\)/\1/" \
+	      "--regex=/val[ \t]+\([^ \t]+\)/\1/" \
+	      "--regex=/module[ \t]+\([^ \t]+\)/\1/"
+
 
 ###########################################################################
 ### Special rules
-- 
cgit v1.2.3