]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2c267ae)
fixed otags invocation
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 May 2005 16:52:58 +0000 (16:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 May 2005 16:52:58 +0000 (16:52 +0000)
helm/matita/Makefile.in patch | blob | history

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:
Unnamed repository; edit this file 'description' to name the repository.