From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 10 May 2005 06:46:53 +0000 (+0000)
Subject: added 'tags' target (which index both matita/ and ocaml/ above)
X-Git-Tag: single_binding~97
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=22f6b6e92ed5120f97acfd87ba25d9c40ea27578;p=helm.git

added 'tags' target (which index both matita/ and ocaml/ above)
---

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index f73436ba0..c95a2b107 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -93,6 +93,11 @@ distclean: clean
 	rm -f matita.glade.bak matita.gladep.bak
 	rm -rf autom4te.cache/
 
+tags: TAGS
+.PHONY: TAGS
+TAGS:
+	otags -vi -r ../ocaml/ .
+
 #.depend: matitaGeneratedGui.ml matitaGeneratedGui.mli *.ml *.mli
 .depend:
 	$(OCAMLDEP) *.ml *.mli > .depend