From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 27 May 2005 16:52:58 +0000 (+0000)
Subject: fixed otags invocation
X-Git-Tag: PRE_INDEX_1~108
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=55e14b104259e41c4b678d35b57f75ce4dcd49c3;p=helm.git

fixed otags invocation
---

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index c95a2b107..f584ec840 100644
--- 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: