snapshot (first version with working pattern matching both 3->2 and 2->1)

[helm.git] / helm / matita / Makefile.in

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index f73436ba014e093957e5b1f613dbba947e380a6a..f584ec84010aac92c7e85b9f88732f162439779b 100644 (file)
--- 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:
+       cd ..; otags -vi -r ocaml/ matita/
+
 #.depend: matitaGeneratedGui.ml matitaGeneratedGui.mli *.ml *.mli
 .depend:
        $(OCAMLDEP) *.ml *.mli > .depend