From 22f6b6e92ed5120f97acfd87ba25d9c40ea27578 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 10 May 2005 06:46:53 +0000 Subject: [PATCH] added 'tags' target (which index both matita/ and ocaml/ above) --- helm/matita/Makefile.in | 5 +++++ 1 file changed, 5 insertions(+) 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 -- 2.39.2