fixed otags invocation

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index c95a2b10747885da6a73b15330e15e563fde074c..f584ec84010aac92c7e85b9f88732f162439779b 100644 (file)
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -96,7 +96,7 @@ distclean: clean
 tags: TAGS
 .PHONY: TAGS
 TAGS:
-       otags -vi -r ../ocaml/ .
+       cd ..; otags -vi -r ocaml/ matita/
 
 #.depend: matitaGeneratedGui.ml matitaGeneratedGui.mli *.ml *.mli
 .depend: