From cf6b384b17a66686f31001d8aeb0958f3cfbfbea Mon Sep 17 00:00:00 2001
From: pboutill
Date: Thu, 12 Apr 2012 20:49:13 +0000
Subject: make otags only relies on otags

but it requires otags-3.12.2 and and ./configure -usecamlp4

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 695de0c53b..e8e328e7cd 100644
--- a/Makefile
+++ b/Makefile
@@ -236,7 +236,7 @@ devdocclean:
 # Emacs tags
 ###########################################################################
 
-.PHONY: tags otags
+.PHONY: tags
 
 tags:
 	echo $(MLIFILES) $(MLSTATICFILES) $(ML4FILES) | sort -r | xargs \
@@ -253,19 +253,6 @@ tags:
 	      "--regex=/[ \t]*\([^: \t]+\)[ \t]*:/\1/"
 
 
-otags: 
-	echo $(MLIFILES) $(MLSTATICFILES) | sort -r | xargs otags
-	echo $(ML4FILES) | 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/"
-
-
 %.elc: %.el
 ifdef COQ_CONFIGURED
 	echo "(setq load-path (cons \".\" load-path))" > $*.compile
-- 
cgit v1.2.3