From 55e14b104259e41c4b678d35b57f75ce4dcd49c3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 27 May 2005 16:52:58 +0000 Subject: [PATCH] fixed otags invocation --- helm/matita/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: -- 2.39.2